Polynomial Size Proofs of the Propositional Pigeonhole Principle.

Published in: J. Symb. Log. (1987)

Keyphrases

polynomial size
knowledge compilation
conjunctive normal form
exponential size
dnf formulas
boolean functions
multi valued
propositional logic
bounded treewidth
machine learning
orders of magnitude
first order logic
randomly generated
target language