Small Unsatisfiable k-CNFs with Bounded Literal Occurrence.

Tianwei Zhang, Toms Peitl, Stefan Szeider

Browse the full SAT paper archive.