Federico Heras Javier Larrosa Albert Oliveras MiniMaxSAT: An Efficient Weighted Max-SAT solver. 1-32 2008 31 J. Artif. Intell. Res. (JAIR) http://jair.org/papers/paper2347.html db/journals/jair/jair31.html#HerasLO08