Sign in
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