Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vsevolod Oparin
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Long Proofs of (Seemingly) Simple Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Summation, Transformation, and Expansion Formulas for Bibasic Series
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Power-To-Heat in CSP Systems for Capacity Expansion
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Width and Size of Regular Resolution Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Lower Bounds for the Weak Pigeonhole Principle and Random Formulas Beyond Resolution
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
SIAM Journal on Computing
Mathematics
Computer Science