Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings. - Stephen M. Majercik; Andrew P. Rusczek (AIPS, 2002)