@inproceedings{KirchwegerPeitlSzeider23b,
 author = {Markus Kirchweger and
Tom{\'{a}}\v{s} Peitl and
Stefan Szeider},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/sat/KirchwegerPS23.bib},
 booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
 doi = {10.4230/LIPICS.SAT.2023.13},
 editor = {Meena Mahajan and
Friedrich Slivovsky},
 pages = {13:1--13:17},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
 title = {A {SAT} Solver's Opinion on the Erdős-Faber-Lov{\'{a}}sz
Conjecture},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2023.13},
 volume = {271},
 year = {2023}
}