A. Abramé and D. Habet, On the extension of learning for Max-SAT, vol.241, pp.1-10, 2014.

A. Abramé and D. Habet, AHMAXSAT : Description and evaluation of a branch and bound Max-SAT solver, JSAT, vol.9, pp.89-128, 2015.

A. Abramé and D. Habet, On the resiliency of unit propagation to max-resolution, pp.268-274, 2015.

M. L. Bonet, J. Levy, and F. Manyà, Resolution for max-sat, JAIR, vol.171, pp.606-618, 2007.

C. M. Li, F. Manyà, N. O. Mohamedou, and J. Planes, Resolution-based lower bounds in maxsat, Constraints, vol.15, pp.456-484, 2010.

C. Li, F. Manyà, and J. Planes, Detecting disjoint inconsistent subformulas for computing lower bounds for max-sat, AAAI-06, pp.86-91, 2006.

C. M. Li, F. Manyà, and J. Planes, New inference rules for max-sat, JAIR, vol.30, pp.321-359, 2007.

J. P. Marques-silva and K. A. Sakallah, Grasp : A search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol.48, pp.506-521, 1999.