Login / Signup
QmiraXT - A Multithreaded QBF Solver.
Matthew Lewis
Tobias Schubert
Bernd Becker
Published in:
MBMV (2009)
Keyphrases
</>
quantified boolean formulas
reasoning tasks
boolean formula
decision procedures
universally quantified
multi user
propositional satisfiability
quantified boolean formulae
sat solvers
mutual exclusion
linear hashing
practical problems