Shlomo Hoory

Recent Publications

A note on unsatisfiable k-CNF formulas with few occurrences per variable
Shlomo Hoory, Stefan Szeider
SIAM J. Discrete Math., volume 20, number 2, pages 523-528, 2006.
PDF Cite
Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable
Shlomo Hoory, Stefan Szeider
SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004.
Cite