Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings

Stephen M. Majercik, Andrew P. Rusczek. Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings. In Malik Ghallab, Joachim Hertzberg, Paolo Traverso, editors, Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France. pages 163-172, AAAI, 2002.

Abstract

Abstract is missing.