Quasipolynomial size proofs of the propositional pigeonhole principle.

Published in: Theor. Comput. Sci. (2015)

Keyphrases

first order logic
small size
theorem proving
multi valued
database
knowledge base
case study
evolutionary algorithm
propositional logic
formal proofs