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

by P Pudl
Venue:JSL