Conclusions (Algorithms)

• Recent algorithms making QSAT feasible

• Existing algorithms have possible drawbacks

  • blind search
  • wasted work

• Can remove these drawbacks

• Exercises for the interested author...

  • Correctness proof (except 2-QSAT)
  • Implementation
  • Empirical Evaluation

Previous slide

Next slide

Back to first slide

View graphic version