@inproceedings{robinson+etal:2008c,
  author    = {Nathan Robinson and
               Charles Gretton and
               Duc-Nghia Pham and
               Abdul Sattar},
  title     = {Propositional Probabilistic Planning-as-Satisfiability using 
               Stochastic Local Search},
  booktitle = {Proccedings of A Reality Check for Planning and
               Scheduling Under Uncertainty, ICAPS workshop, Sydney, Australia,
               September 15, 2008},
  year      = {2008},
  url       = {http://nathanrobinson.info/publications/ICAPS_2008_Workshop_Robinson.pdf}
}