Outline
Quantified Boolean Formulae (QBF)
Davis Putnam Algorithm for SAT
- Conflict Directed Backjumping
Generalised Davis Putnam for QBF
- Solution Based Backjumping
- Genovese Algorithm
- St Andrews Algorithm
The future
- why you should review a grant quickly if you get it
-