@inproceedings{speck-katz-aaai2021,
  author       = {David Speck and Michael Katz},
  title        = {Symbolic Search for Oversubscription Planning},
  pages        = {11972--11980},
  editor       = {Kevin Leyton-Brown and Mausam},
  booktitle    = {Proceedings of the Thirty-Fifth {AAAI} Conference on Artificial
    Intelligence ({AAAI} 2021)},
  publisher    = {{AAAI} Press},
  year         = 2021,
}