Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies
- D. M. Itsykson
- , A. A. Kojevnikov
Research output: Contribution to journal › Article › peer-review
4
Scopus
citations