On solving the MAX-SAT using sum of squares

From MaRDI portal

Publication:6426409

Jump to:navigation, search

arXiv2302.06931MaRDI QIDQ6426409

Renata Sotirov, Lennart Sinjorgo

Publication date: 14 February 2023

Mathematics Subject Classification ID

Semidefinite programming (90C22) Boolean programming (90C09) Polynomial optimization (90C23)

This page was built for publication: On solving the MAX-SAT using sum of squares

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6426409&oldid=36098757"