42 citations · 144 across the 30 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.OC2023
On Integrality in Semidefinite Programming for Discrete Optimization
Frank de Meijer, Renata Sotirov
It is well-known that by adding integrality constraints to the semidefinite programming (SDP) relaxation of the max-cut problem, the resulting integer semidefinite program is an ex…
math.OC2023
On solving the MAX-SAT using sum of squares
Lennart Sinjorgo, Renata Sotirov
We consider semidefinite programming (SDP) approaches for solving the maximum satisfiability problem (MAX-SAT) and the weighted partial MAX-SAT. It is widely known that SDP is well…