@article{DBLP:journals/eccc/ECCC-TR99-036,
author = {Edward A. Hirsch},
title = {A New Algorithm for MAX-2-SAT},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {6},
number = {36},
year = {1999},
ee = {http://eccc.hpi-web.de/eccc-reports/1999/TR99-036/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}