On solving MAX-SAT using sum of squares

DOI10.1287/IJOC.2023.0036MaRDI QIDQ6580533zbMATH OpenFDO

Authors Lennart Sinjorgo, Renata Sotirov

Publication date 29 July 2024

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

Full work available at URL https://doi.org/10.1287/IJOC.2023.0036

zbMATH Keywords

MAX-SATPeaceman-Rachford splitting methodSATsemidefinite programmingsum of squaresweighted 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)