by Markus Kirchweger, Tomáš Peitl, Stefan Szeider
Reference:
A SAT Solver's Opinion on the Erdős-Faber-Lovász ConjectureMarkus Kirchweger, Tomáš Peitl, Stefan SzeiderThe 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan, Friedrich Slivovsky, eds.), 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Bibtex Entry:
@string{lipics="LIPIcs"}
@InProceedings{KirchwegerPeitlSzeider23b,
author = {Markus Kirchweger and Tomáš Peitl and Stefan Szeider},
title = {A {SAT} Solver's Opinion on the {E}rdős-{F}aber-{L}ovász Conjecture},
booktitle = {The 26th International Conference on Theory and
Applications of Satisfiability Testing (SAT 2023),
July 04-08, 2023, Alghero, Italy},
year = {2023},
editor = {Meena Mahajan and Friedrich Slivovsky},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
keywords = {reveal,slim},
}