%0 Journal Article
%A D. M. Itsykson
%A A. A. Kojevnikov
%T Lower bounds of static Lovász–Schrijver calculus proofs for Tseitin tautologies
%J Zapiski Nauchnykh Seminarov POMI
%D 2006
%P 10-32
%V 340
%U http://geodesic.mathdoc.fr/item/ZNSL_2006_340_a1/
%G ru
%F ZNSL_2006_340_a1