Login / Signup

Bridging the gap between dual propagation and CNF-based QBF solving.

Alexandra GoultiaevaMartina SeidlArmin Biere
Published in: DATE (2013)
Keyphrases
  • boolean formula
  • sat solving
  • conjunctive normal form
  • sat solvers
  • sat instances
  • np complete
  • orders of magnitude
  • satisfiability problem
  • boolean functions
  • quadratic programming problems
  • set bounds propagation