Login / Signup
Extracting Certificates from Quantified Boolean Formulas.
Marco Benedetti
Published in:
IJCAI (2005)
Keyphrases
</>
quantified boolean formulas
decision procedures
universally quantified
reasoning tasks
propositional satisfiability