Wang, P.-W.; Kolter, J. Z. Low-Rank Semidefinite Programming for the MAX2SAT Problem. AAAI 2019, 33, 1641-1649.