TY  - RPRT
TI  - On solving the MAX-SAT using sum of squares
AU  - Lennart Sinjorgo
AU  - Renata Sotirov
PY  - 2023
UR  - https://arxiv.org/abs/2302.06931
ID  - 2302.06931
ER  -