Hoory, Shlomo

Recent Publications

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