A new approach to proving upper bounds for MAX-2-SAT.

Arist Kojevnikov Alexander S. Kulikov A new approach to proving upper bounds for MAX-2-SAT. 11-17 2006 conf/soda/2006 SODA http://doi.acm.org/10.1145/1109557.1109559 db/conf/soda/soda2006.html#KojevnikovK06