TY  - RPRT
TI  - Local Maxima and Improved Exact Algorithm for MAX-2-SAT
AU  - M. B. Hastings
PY  - 2016
UR  - https://arxiv.org/abs/1610.07100
ID  - 1610.07100
ER  -