TY - RPRT TI - Low-rank semidefinite programming for the MAX2SAT problem AU - Po-Wei Wang AU - J. Zico Kolter PY - 2018 UR - https://arxiv.org/abs/1812.06362 ID - 1812.06362 ER -