Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas.

Evgeny Dantsin, Alexander Wolpert

Browse the full CIAC paper archive.