Effective SAT Planning by Speculative Computation.

Hidetomo Nabeshima Koji Iwanuma Katsumi Inoue

Published in: Australian Joint Conference on Artificial Intelligence (2002)

Keyphrases

orders of magnitude
satisfiability problem
search algorithm
sat solving
neural network
information retrieval
learning algorithm
planning problems
sat solvers
plan generation