Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.
Yinlei YuSharad MalikPublished in: ASP-DAC (2005)
Keyphrases
- boolean formula
- quantified boolean formulas
- sat solvers
- practical problems
- np complete
- conjunctive normal form
- linear constraints
- membership queries
- boolean satisfiability
- decision procedures
- reasoning tasks
- boolean variables
- special case
- search algorithm
- max sat
- orders of magnitude
- constraint satisfaction problems