A note on unsatisfiable k-CNF formulas with few occurrences per variable

Shlomo Hoory, Stefan Szeider
January 2006
PDF Cite
Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.