Lower Bounds to the Size of Constant-Depth Propositional Proofs (1994)

Cached

Download Links

by Jan Krajícek
Citations:54 - 6 self