APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability.
Stephen M. MajercikPublished in: ECSQARU (2005)
Keyphrases
- probabilistic planning
- heuristic search
- boolean satisfiability
- planning problems
- planning under uncertainty
- satisfiability problem
- computational complexity
- markov decision process
- markov decision processes
- phase transition
- sat problem
- partially observable
- np complete
- evolutionary algorithm
- search algorithm
- planning graph
- sufficient conditions