research
∙
03/02/2023
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
We prove the first unconditional consistency result for superpolynomial ...
share
research
∙
10/18/2019
Proof complexity of systems of (non-deterministic) decision trees and branching programs
This paper studies propositional proof systems in which lines are sequen...
research
∙
09/02/2019
DRAT and Propagation Redundancy Proofs Without New Variables
We study the proof complexity of RAT proofs and related systems includin...
research
∙
01/15/2018