Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
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 r̆lhttps://www.ac.tuwien.ac.at/files/pub/HoorySzeider05.tar.gz
PDF
Cite
Cite
×