Abstract
Shlomo Hoory, Stefan Szeider. A note on unsatisfiable k-CNF formulas with few occurrences per variable. SIAM J. Discrete Math., volume 20, number 2, pages 523-528, 2006.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.