People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Shlomo Hoory
Recent Publications
A note on unsatisfiable k-CNF formulas with few occurrences per variable
2006
Cite
×