D. Speck, P. Höft, D. Gnad, and J. Seipp, “Finding Matrix Multiplication Algorithms with Classical Planning”, ICAPS, vol. 33, no. 1, pp. 411-416, Jul. 2023.