Speck, D., P. Höft, D. Gnad, and J. Seipp. “Finding Matrix Multiplication Algorithms With Classical Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 411-6, doi:10.1609/icaps.v33i1.27220.