A direct construction of polynomial-size OBDD proof of pigeon hole problem.

Wei Chen Wenhui Zhang

Published in: Inf. Process. Lett. (2009)

Keyphrases

polynomial size
model counting
boolean functions
knowledge compilation
exponential size
dnf formulas
uniform distribution
query evaluation
bounded treewidth
machine learning
data model
model checking
randomly generated
cnf formula