@inproceedings{behnke-speck-aaai2021,
  author       = {Gregor Behnke and David Speck},
  title        = {Symbolic Search for Optimal Total-Order {HTN} Planning},
  pages        = {11744--11754},
  editor       = {Kevin Leyton-Brown and Mausam},
  booktitle    = {Proceedings of the Thirty-Fifth {AAAI} Conference on Artificial
    Intelligence ({AAAI} 2021)},
  publisher    = {{AAAI} Press},
  year         = 2021,
}