Local Search for Fast Matrix Multiplication.

Marijn J. H. Heule Manuel Kauers Martina Seidl

Published in: SAT (2019)

Keyphrases

matrix multiplication
message passing
search algorithm
global search
distributed memory
genetic algorithm
memetic algorithm
combinatorial optimization
search space
matrix factorization
optimal solution
tabu search
search procedure
simulated annealing
belief propagation
d objects
probabilistic model
lower bound