Improving exact algorithms for MAX-2-SAT.

Haiou Shen Hantao Zhang Improving exact algorithms for MAX-2-SAT. 419-436 2005 44 Ann. Math. Artif. Intell. 4 http://dx.doi.org/10.1007/s10472-005-7036-z db/journals/amai/amai44.html#ShenZ05