@misc{indiciaededb653a3033,
  title = {Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting},
  author = {C. Domshlak and J. Hoffmann},
  year = {2011},
  doi = {10.1613/jair.2289},
  url = {https://arxiv.org/abs/1111.0044},
  note = {Source identifier: 1111.0044}
}