Arthur Choi Trevor Standley Adnan Darwiche Approximating Weighted Max-SAT Problems by Compensating for Relaxations. 211-225 2009 CP http://dx.doi.org/10.1007/978-3-642-04244-7_19 conf/cp/2009 db/conf/cp/cp2009.html#ChoiSD09