Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

Saved in:

Bibliographic Details
Published in	Journal of mathematical sciences (New York, N.Y.) Vol. 145; no. 3; pp. 4942 - 4952
Main Authors	Itsykson, D. M., Kojevnikov, A. A.
Format	Journal Article
Language	English
Published	01.09.2007
Online Access	Get full text

Loading…

More Information
ISSN:	1072-3374 1573-8795
DOI:	10.1007/s10958-007-0329-5