@inproceedings{speck-et-al-icaps2023,
  author       = {David Speck and Paul H{\"o}ft and Daniel Gnad and Jendrik Seipp},
  title        = {Finding Matrix Multiplication Algorithms with Classical Planning},
  pages        = {411--416},
  editor       = {Sven Koenig and Roni Stern and Mauro Vallati},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
    Planning and Scheduling (ICAPS 2023)},
  year         = 2023,
  publisher    = {AAAI Press},
}