@inproceedings{speck-ipc2023,
  author       = {David Speck},
  title        = {{SymK} -- {A} Versatile Symbolic Search Planner},
  booktitle    = {Tenth {I}nternational {P}lanning {C}ompetition ({IPC}-10): Planner
    Abstracts},
  year         = 2023,
}