Hoory, Shlomo

Recent Publications

Computing unsatisfiable k-SAT instances with few occurrences per variable
Theoretical Computer Science, volume 337, number 1-3, pages 347-359, 2005.
Note: Supplementary material is available at r̆lhttps://www.ac.tuwien.ac.at/files/pub/HoorySzeider05.tar.gz