Sign in

Solving MaxSAT with Matrix Multiplication.

David Warde-FarleyVinod NairYujia LiIvan LobovFelix GimenoSimon Osindero
Published in: CoRR (2023)
Keyphrases
  • matrix multiplication
  • combinatorial optimization
  • message passing
  • parallel algorithm
  • distributed memory
  • image sequences
  • matrix factorization