Hoory, Shlomo

Recent Publications

Computing unsatisfiable k-SAT instances with few occurrences per variable

2005