Wang, P.-W. and Kolter, J. Z. (2019) “Low-Rank Semidefinite Programming for the MAX2SAT Problem”, Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), pp. 1641-1649. doi: 10.1609/aaai.v33i01.33011641.