TY  - RPRT
TI  - Solving MaxSAT with Matrix Multiplication
AU  - David Warde-Farley
AU  - Vinod Nair
AU  - Yujia Li
AU  - Ivan Lobov
AU  - Felix Gimeno
AU  - Simon Osindero
PY  - 2023
UR  - https://arxiv.org/abs/2311.02101
ID  - 2311.02101
ER  -