Login / Signup
CAQE: A Certifying QBF Solver.
Markus N. Rabe
Leander Tentrup
Published in:
FMCAD (2015)
Keyphrases
</>
quantified boolean formulas
reasoning tasks
boolean formula
decision procedures
universally quantified
quantified boolean formulae
propositional satisfiability
machine learning
artificial intelligence
sat solvers
practical problems