Speck, D., Höft, P., Gnad, D., & Seipp, J. (2023). Finding Matrix Multiplication Algorithms with Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 33(1), 411-416. https://doi.org/10.1609/icaps.v33i1.27220