Login / Signup
On Models for Quantified Boolean Formulas.
Hans Kleine Büning
Xishun Zhao
Published in:
Logic versus Approximation (2004)
Keyphrases
</>
probabilistic model
quantified boolean formulas
artificial intelligence