Sinjorgo, L., & Sotirov, R. (2023). On solving the MAX-SAT using sum of squares (Version 1.0) [Computer software]. https://github.com/LMSinjorgo/SDP-SOS_MAXSAT