SAS+ Planning as Satisfiability.

Ruoyun Huang Yixin Chen Weixiong Zhang

Published in: J. Artif. Intell. Res. (2012)

Keyphrases

satisfiability problem
computational complexity
np complete
phase transition
sat solving
goal oriented
stochastic domains
heuristic search
planning problems
motion planning
action selection
terminological reasoning
real time
decision procedures
decision theoretic
decision support
genetic algorithm
data sets