Skip to content
cs-conference-ranking.org

Cutting Planes and constant depth Frege proofs

Peter Clote

VenueA*LICS
Year1992
ProceedingsLICS
DBLP recordconf/lics/Clote92 ↗

Browse the full LICS paper archive.