TY  - RPRT
TI  - Families of unsatisfiable k-CNF formulas with few occurrences per variable
AU  - Shlomo Hoory
AU  - Stefan Szeider
PY  - 2004
UR  - https://arxiv.org/abs/math/0411167
ID  - math/0411167
ER  -