@inproceedings{speck-et-al-aaai2020,
  author       = {David Speck and Robert Mattm{\"u}ller and Bernhard Nebel},
  title        = {Symbolic Top-k Planning},
  pages        = {9967--9974},
  editor       = {Vincent Conitzer and Fei Sha},
  booktitle    = {Proceedings of the Thirty-Fourth {AAAI} Conference on Artificial
    Intelligence ({AAAI} 2020)},
  publisher    = {{AAAI} Press},
  year         = 2020,
}