Login / Signup

Cutting Planes and constant depth Frege proofs

Peter Clote
Published in: LICS (1992)
Keyphrases