What SATPLAN Shows
A general propositional theorem prover can be competitive with specialized planning systems
Surpise:
“Search direction” does not appear to matter. (Traditional planners generally
backward chain from goal state.)
Fast SAT engines
stochastic search - walksat
large SAT/CSP community sharing ideas and code
specialized engines can catch up, but by then, new general technique