ak, Lower bounds for resolution and cutting planes proofs and monotone computations (1997)

by P Pudl'
Venue:Journal of Symbolic Logic