"Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin ..."

Arist Kojevnikov, Dmitry Itsykson (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics