Local Search for Fast Matrix Multiplication.

Marijn J. H. Heule, Manuel Kauers, Martina Seidl

Browse the full SAT paper archive.