Algorithms for QSAT
Recent Algorithms by...
- Cadoli, Giovanardi & Schaerf, AAAI 98, SAT 2000.
- simple to avoid
Both based on similar idea
- Work `outside in'
- Set outermost quantifiers first, then next level ...
Both make extensive use of propagation rules
I will present a simplified version of Cadoli's