Adi Avidor Uri Zwick Approximating MIN k-SAT. 465-475 2002 conf/isaac/2002 ISAAC http://dx.doi.org/10.1007/3-540-36136-7_41 db/conf/isaac/isaac2002.html#AvidorZ02