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