SAS+ Planning as Satisfiability.

Ruoyun Huang Yixin Chen Weixiong Zhang

Published in: CoRR (2014)

Keyphrases

satisfiability problem
sat solving
stochastic domains
motion planning
plan generation
propositional logic
mixed initiative
ai planning
computational complexity
artificial intelligence
planning problems
database
mobile robot
decision theoretic
goal oriented
search algorithm
neural network
real time