Login / Signup

A More Efficient BDD-Based QBF Solver.

Oswaldo OlivoE. Allen Emerson
Published in: CP (2011)
Keyphrases
  • quantified boolean formulas
  • computationally efficient
  • computationally expensive
  • np complete
  • lightweight
  • practical problems