✦ LIBER ✦
Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies
✍ Scribed by D. M. Itsykson; A. A. Kojevnikov
- Publisher
- Springer US
- Year
- 2007
- Tongue
- English
- Weight
- 212 KB
- Volume
- 145
- Category
- Article
- ISSN
- 1573-8795
No coin nor oath required. For personal study only.