
On the Power and Limitations of Branch and Cut
The Stabbing Planes proof system was introduced to model the reasoning c...
read it

KRW Composition Theorems via Lifting
One of the major open problems in complexity theory is proving superlog...
read it

Nullstellensatz SizeDegree Tradeoffs from Reversible Pebbling
We establish an exactly tight relation between reversible pebblings of g...
read it

Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
We significantly strengthen and generalize the theorem lifting Nullstell...
read it

Stabbing Planes
We introduce and develop a new semialgebraic proof system, called Stabb...
read it

Relating Complexitytheoretic Parameters with SAT Solver Performance
Over the years complexity theorists have proposed many structural parame...
read it
Robert Robere
is this you? claim profile