Separation Results for the Size of Constant-Depth Propositional Proofs (2004)

by Arnold Beckmann , Samuel R. Buss
Citations:10 - 7 self