[1]
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 (Jul. 2019), 1641-1649. DOI:https://doi.org/10.1609/aaai.v33i01.33011641.