Speck, D.; Höft, P.; Gnad, D.; Seipp, J. Finding Matrix Multiplication Algorithms With Classical Planning. ICAPS 2023, 33, 411-416.