On solving MAX-SAT using sum of squares
Lennart Sinjorgo, Renata Sotirov
| Year of publication: |
2024
|
|---|---|
| Authors: | Sinjorgo, Lennart ; Sotirov, Renata |
| Published in: |
INFORMS journal on computing : JOC ; charting new directions in operations research and computer science ; a journal of the Institute for Operations Research and the Management Sciences. - Linthicum, Md. : INFORMS, ISSN 1526-5528, ZDB-ID 2004082-9. - Vol. 36.2024, 2, p. 417-433
|
| Subject: | MAX-SAT | Peaceman–Rachford splitting method | SAT | semidefinite programming | sum of squares | weighted partial MAX-SAT | Theorie | Theory | Mathematische Optimierung | Mathematical programming |
freely available
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.1287/ijoc.2023.0036 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10014532298