Boolean Functions as Models for Quantified Boolean Formulas.

Hans Kleine Büning K. Subramani Xishun Zhao

Published in: J. Autom. Reason. (2007)

Keyphrases

boolean functions
state space
uniform distribution
quantified boolean formulas
machine learning
knowledge base
decision problems
randomly generated
reasoning tasks
functional properties