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