Login / Signup
On Boolean Models for Quantified Boolean Horn Formulas.
Hans Kleine Büning
K. Subramani
Xishun Zhao
Published in:
SAT (2003)
Keyphrases
</>
real valued
boolean functions
probabilistic model
database
machine learning
artificial intelligence
prior knowledge