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

Cached

Download Links

by Arnold Beckmann , Samuel R. Buss
Citations:5 - 3 self