Study of Lower Bound Functions for MAX-2-SAT.

Haiou Shen Hantao Zhang Study of Lower Bound Functions for MAX-2-SAT. 185-190 2004 conf/aaai/2004 AAAI db/conf/aaai/aaai2004.html#ShenZ04