Low-rank semidefinite programming for the MAX2SAT problem

Open in new window