×
2002
Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings.
[DOI]
Stephen M. Majercik
,
Andrew P. Rusczek
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002