2002
Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002