Login / Signup
Equivalence Models for Quantified Boolean Formulas.
Hans Kleine Büning
Xishun Zhao
Published in:
SAT (2004)
Keyphrases
</>
quantified boolean formulas
artificial intelligence
search algorithm
query language
integrity constraints
belief networks