APPSSAT: Approximate probabilistic planning using stochastic satisfiability (2005)

by S M Majercik
Venue:In Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, (ECSQARU), Lecture Notes in Computer Science