@inproceedings{speck-et-al-sais2023,
  author       = {David Speck and Paul H{\"o}ft and Daniel Gnad and Jendrik Seipp},
  title        = {Finding Matrix Multiplication Algorithms with Classical Planning ---
    Extended Abstract},
  booktitle    = {The 35th Annual Workshop of the Swedish Artificial Intelligence Society
    (SAIS)},
  year         = 2023,
}