Planning as satisfiability: parallel plans and algorithms for plan search.

Jussi Rintanen Keijo Heljanko Ilkka Niemelä

Published in: Artif. Intell. (2006)

Keyphrases

computational complexity
plan generation
search methods
orders of magnitude
search strategies
stochastic local search
search algorithm
search space
heuristic search
planning graph
learning algorithm
search strategy
partial solutions
heuristic search algorithms
planning systems