[1]
P.-W. Wang and J. Z. Kolter, “Low-Rank Semidefinite Programming for the MAX2SAT Problem”, AAAI, vol. 33, no. 01, pp. 1641-1649, Jul. 2019.