Lower Bounds of Static Lovsz-Schrijver Calculus Proofs for Tseitin Tautologies.

Arist Kojevnikov, Dmitry Itsykson

Browse the full ICALP paper archive.