@inproceedings{geisser-speck-ippc2018,
  author       = {Florian Gei{\ss}er and David Speck},
  title        = {{Prost-DD} -- Utilizing Symbolic Classical Planning in {THTS}},
  pages        = {13--16},
  booktitle    = {Sixth {I}nternational {P}robabilistic {P}lanning {C}ompetition
    ({IPC}-6): Planner Abstracts},
  year         = 2018,
}