research
∙
02/11/2022
Notes on switching lemmas
We prove three switching lemmas, for random restrictions for which varia...
research
∙
05/16/2021
First-Order Reasoning and Efficient Semi-Algebraic Proofs
Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted...
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
∙
12/27/2018