@misc{indiciaedd6f70c3b177,
  title = {On solving the MAX-SAT using sum of squares},
  author = {Lennart Sinjorgo and Renata Sotirov},
  year = {2023},
  url = {https://arxiv.org/abs/2302.06931},
  note = {Source identifier: 2302.06931}
}