On solving MAX-SAT using sum of squares

From MaRDI portal

Publication:6580533

Jump to:navigation, search

DOI10.1287/IJOC.2023.0036MaRDI QIDQ6580533FDOQ6580533

Authors: Lennart Sinjorgo, Renata Sotirov

Publication date: 29 July 2024

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

zbMATH Keywords

semidefinite programming SAT sum of squares Peaceman-Rachford splitting method MAX-SAT weighted partial MAX-SAT

Mathematics Subject Classification ID

Mathematical programming (90Cxx)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6580533)

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