@misc{indiciae830ced821d15,
  title = {Solving MaxSAT with Matrix Multiplication},
  author = {David Warde-Farley and Vinod Nair and Yujia Li and Ivan Lobov and Felix Gimeno and Simon Osindero},
  year = {2023},
  url = {https://arxiv.org/abs/2311.02101},
  note = {Source identifier: 2311.02101}
}