Low-rank semidefinite programming for the MAX2SAT problem
From MaRDI portal
Publication:6311206
arXiv1812.06362MaRDI QIDQ6311206
J. Zico Kolter, Po-Wei Wang
Publication date: 15 December 2018
Has companion code repository: https://github.com/locuslab/mixsat
This page was built for publication: Low-rank semidefinite programming for the MAX2SAT problem