@InProceedings{domshlak:hoffmann:icaps-06,
  author = 	 {Carmel Domshlak and J{\"o}rg Hoffmann},
  title = 	 {Fast Probabilistic Planning Through Weighted Model Counting},
  crossref =     {icaps06},
  pages = {243--252}
}


@Proceedings{icaps06,
  key = 	 "ICAPS-06",
  title = 	 "Proceedings of the 16th International Conference on 
                  Automated Planning and Scheduling (ICAPS-06)",
  booktitle = 	 "Proceedings of the 16th International Conference on 
                  Automated Planning and Scheduling (ICAPS-06)",
  year = 	 2006,
  editor = 	 "Derek Long and Stephen Smith",
  publisher = kauf,
  OPTorganization = "",
  address = 	 "Ambleside, UK",
  OPTmonth = 	 "",
}