research
∙
02/15/2021
Depth lower bounds in Stabbing Planes for combinatorial principles
We prove logarithmic depth lower bounds in Stabbing Planes for the class...
share
research
∙
08/04/2020
Proof complexity and the binary encoding of combinatorial principles
We consider Proof Complexity in light of the unusual binary encoding of ...
research
∙
11/01/2019
Sherali-Adams and the binary encoding of combinatorial principles
We consider the Sherali-Adams (SA) refutation system together with the u...
research
∙
09/08/2018