TY  - RPRT
TI  - Unsatisfiable Linear CNF Formulas Are Large and Complex
AU  - Dominik Scheder
PY  - 2010
UR  - https://arxiv.org/abs/0905.1587
ID  - 0905.1587
ER  -