@inproceedings{hoeft-et-al-ipc2023,
  author       = {Paul H{\"o}ft and David Speck and Jendrik Seipp},
  title        = {{Dofri}},
  booktitle    = {Tenth {I}nternational {P}lanning {C}ompetition ({IPC}-10): Planner
    Abstracts},
  year         = 2023,
}