Planning as Search 4

• Compile planning problem to propositional satisfiability - generate a set of clauses to satisfy.

• Use a fast solver like GSAT or an incremental solver like an LTMS

Previous slide

Next slide

Back to first slide

View graphic version