Outline

I --- Example application: AI Planning

The SATPLAN system

II --- Current Themes in SAT Solvers

randomization / scalability

III --- Current Themes in SAT Encodings

declarative control knowledge

IV --- Conclusions

Previous slide

Next slide

Back to first slide

View graphic version