A SAT Solver's Opinion on the Erdős-Faber-Lovsz Conjecture.

Markus Kirchweger, Toms Peitl, Stefan Szeider

Browse the full SAT paper archive.