Conclusions, cont.

Example: AI planning / SATPLAN system

One order of magnitude improvement (last 3yrs):

10 step to 200 step plans

Need two more:

up to 20,000 step ...

Discussed themes in SAT Sovers / Encodings

Heavy-tails / Randomization / Declarative domain knowledge

Previous slide

Back to first slide

View graphic version