Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. - Chu Min Li 001; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes (CP, 2008)

Exploiting Cycle Structures in Max-SAT. - Chu Min Li 001; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes (SAT, 2009)

Resolution-based lower bounds in MaxSAT. - Chu Min Li 001; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes (Constraints An Int. J., 2010)