It is well-known that Resolution proofs can be efficiently simulated by
...
We survey lower-bound results in complexity theory that have been obtain...
We show =∩. Here the class
consists of all total search problems that r...
The Stabbing Planes proof system was introduced to model the reasoning
c...
One of the major open problems in complexity theory is proving
super-log...
We establish an exactly tight relation between reversible pebblings of g...
We significantly strengthen and generalize the theorem lifting
Nullstell...
We introduce and develop a new semi-algebraic proof system, called Stabb...
Over the years complexity theorists have proposed many structural parame...