Login / Signup
Equivalence Models for Quantified Boolean Formulas.
Hans Kleine Büning
Xishun Zhao
Published in:
SAT (Selected Papers (2004)
Keyphrases
</>
artificial intelligence
np complete
quantified boolean formulas