Encoding Nested Boolean Functions as Quantified Boolean Formulas.

Uwe Bubeck Hans Kleine Büning

Published in: J. Satisf. Boolean Model. Comput. (2012)

Keyphrases

boolean functions
quantified boolean formulas
boolean formula
uniform distribution
randomly generated
decision procedures
reasoning tasks
membership queries
multi valued
functional properties
machine learning
propositional satisfiability
knowledge base
data exchange