Effective SAT Planning by Lemma-Reusing.

Hidetomo Nabeshima Hirohito Nozawa Koji Iwanuma

Published in: Artificial Intelligence and Applications (2005)

Keyphrases

search algorithm
metadata
high quality
heuristic search
search strategies
planning problems
sat solvers
randomly generated
stochastic domains