A SAT Solver's Opinion on the Erdős-Faber-Lov\'asz Conjecture

Abstract

Full Citation:

Markus Kirchweger, Tom'a\vs Peitl, Stefan Szeider. A SAT Solver’s Opinion on the Erdős-Faber-Lov'asz Conjecture. 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 13:1-13:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Markus Kirchweger

Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.