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
∙
06/25/2018