TY  - RPRT
TI  - Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
AU  - C. Domshlak
AU  - J. Hoffmann
PY  - 2011
DO  - 10.1613/jair.2289
UR  - https://arxiv.org/abs/1111.0044
ID  - 1111.0044
ER  -