TY  - RPRT
TI  - Unsatisfiable (k,(4*2^k/k))-CNF formulas
AU  - Heidi Gebauer
PY  - 2008
UR  - https://arxiv.org/abs/0810.1904
ID  - 0810.1904
ER  -