@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, }