We've investigated the possibility of decomposing Max-Sat problems to reduce the number of variables in the problems supplied to SDP solvers. We've considered several forms of decomposition and evaluated these empirically. The methods we investigated were able to approach the lower bounds of SDP ...
In spite of these powerful theoretical results, it is not clear if SDP can be used as a practical tool for solving MAX-SAT problems to optimality. In this regard, the usefulness of the SDP approach will ultimately depend on the ability to exploit sparsity in the SDP relaxations of large ...