Sign in

Beim Lösen des MAX-SAT mit der Quadratsumme

By Lennart Sinjorgo and Renata Sotirov
Wir betrachten semidefinite Programmieransätze (SDP) zur Lösung des Problems der maximalen Erfüllbarkeit (MAX-SAT) und des gewichteten partiellen MAX-SAT. Es ist allgemein bekannt, dass SDP gut geeignet ist, den (MAX-) 2-SAT zu approximieren. Unsere Arbeit zeigt das Potenzial von SDP auch für andere Erfüllbarkeitsprobleme, indem wir mit einigen der besten Löser... Show more
February 14, 2023
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
On solving the MAX-SAT using sum of squares
Click on play to start listening