Satisfiability, Branch-Width and Tseitin Tautologies.

Michael Alekhnovich, Alexander A. Razborov

Browse the full FOCS paper archive.