13 citations · 27 across the 6 of their papers we have counts for
1 paper · 1 filter
James Aisenberg, Maria Luisa Bonet, Sam Buss +2
We prove that the propositional translations of the Kneser-Lovász theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs. We present a new counti…