Fast Matrix Multiplication Without Tears: A Constraint Programming Approach.

Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil

Browse the full CP paper archive.