Solving MaxSAT with Matrix Multiplication.

David Warde-Farley Vinod Nair Yujia Li Ivan Lobov Felix Gimeno Simon Osindero

Published in: CoRR (2023)

Keyphrases

matrix multiplication
combinatorial optimization
message passing
parallel algorithm
distributed memory
image sequences
matrix factorization