Bounded-Width Polynomial-Size Boolean Formulas Compute Exactly Those Functions in AC^0.

Sorin Istrail Dejan Zivkovic

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

Keyphrases

polynomial size
conjunctive normal form
boolean functions
boolean formula
bounded treewidth
dnf formulas
membership queries
knowledge compilation
randomly generated
uniform distribution
equivalence queries
random instances
machine learning
search space
arc consistency
binary decision diagrams