Solving MAX-2-SAT Above a Tight Lower Bound

Gregory Gutin Eun Jung Kim Stefan Szeider Anders Yeo Solving MAX-2-SAT Above a Tight Lower Bound http://arxiv.org/abs/0907.4573 2009 CoRR abs/0907.4573 db/journals/corr/corr0907.html#abs-0907-4573 informal publication