Whatís coming up...
QBF is the same again with a twist
- DP has been generalised to deal with QBF
- thrashing is still a problem
- need two kinds of backjumping
- new kind is ìsolution based backjumpingî
-
Iím going to miss out propagation rules
- focus on branching search and backtracking
- propagation rules vital in practice