Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Arist Kojevnikov
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improved Lower Bounds for Tree-Like Resolution Over Linear Inequalities
Related publications
Exponential Lower Bounds and Integrality Gaps for Tree-Like Lovász-Schrijver Procedures
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Short Proofs of the Kneser-Lovász Coloring Principle
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre Relaxations for 0–1 Programming
Mathematics of Operations Research
Management Science
Computer Science Applications
Operations Research
Mathematics
Constructive Proofs of Concentration Bounds
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Calculus Proofs of Some Combinatorial Inequalities
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Computing Bounds From Arithmetical Proofs
Lower Bounds
Lower Bounds for Subgraph Isomorphism
