Login / Signup

QuBE++: An Efficient QBF Solver.

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: FMCAD (2004)
Keyphrases
  • quantified boolean formulas
  • boolean formula
  • universally quantified
  • computationally efficient
  • data structure
  • quantified boolean formulae
  • data sets
  • decision procedures