research
∙
02/16/2022
Resolution with Counting: Lower Bounds for Proofs of Membership in the Complement of a Linear Map Image of the Boolean Cube
We propose a new approach to proving lower bounds for sizes of dag-like ...
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
∙
06/25/2018