Improving Exact Algorithms for MAX-2-SAT.

Haiou Shen Hantao Zhang Improving Exact Algorithms for MAX-2-SAT. 2004 conf/amai/2004 AMAI http://rutcor.rutgers.edu/~amai/aimath04/AcceptedPapers/Shen-aimath04.pdf db/conf/amai/amai2004.html#ShenZ04