C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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