Teresa Alsinet Felip Manyà Jordi Planes An efficient solver for weighted Max-SAT. 61-73 2008 41 J. Global Optimization 1 http://dx.doi.org/10.1007/s10898-007-9166-9 db/journals/jgo/jgo41.html#AlsinetMP08