activity
20022019
most citedUnshuffling a Square is NP-Hard

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2015

Short Proofs of the Kneser-Lovász Coloring Principle

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…