Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A SAT solver's opinion on the Erdős-Faber-Lovász conjecture - MaRDI portal

A SAT solver's opinion on the Erdős-Faber-Lovász conjecture

From MaRDI portal

Publication:6643089

Jump to:navigation, search

DOI10.4230/LIPICS.SAT.2023.13MaRDI QIDQ6643089

Markus Kirchweger, Tomáš Peitl, Stefan Szeider

Publication date: 26 November 2024

zbMATH Keywords

graph coloring hypergraphs SAT modulo symmetries

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

SAT modulo symmetries for graph generation and enumeration

This page was built for publication: A SAT solver's opinion on the Erdős-Faber-Lovász conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643089)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6643089&oldid=40219816"