Polynomial Size Proofs for the Propositional Pigeonhole Principle
Publication date
Authors
DOI
Document Type
Bachelor Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
Abstract
Keywords
Pigeonhole Principle, Proof Size, Proof Complexity, Proof Theory