Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable.

Shlomo Hoory, Stefan Szeider

Browse the full SAT paper archive.