Unsatisfiable Linear CNF Formulas Are Large and Complex.

Dominik Scheder

Browse the full STACS paper archive.