Adi Avidor Uri Zwick Approximating MIN 2-SAT and MIN 3-SAT. 329-345 2005 38 Theory Comput. Syst. 3 http://dx.doi.org/10.1007/s00224-005-1140-7 db/journals/mst/mst38.html#AvidorZ05