FRDCSA
Minor
Internal
External
Git
Packages
hooryszeider05-20181124
Jump To:
Parent Description
This archive containes results supplementing the paper titled "Computing Unsatisfiable k-SAT Instances with Few Occurences per variable" by Shlomo Hoory and Stefan Szeider.