T. Alsinet, F. Manyà, and J. Planes, Improved Exact Solvers for Weighted Max-SAT, SAT-2005, pp.371-377, 2005.
DOI : 10.1007/11499107_27

N. Bansal and V. Raman, Upper Bounds for MaxSat: Further Improved, ISAAC'99, pp.247-260, 1999.
DOI : 10.1007/3-540-46632-0_26

URL : http://repository.tue.nl/694364

M. L. Bonet, J. Levy, and F. Manyà, Resolution for Max-SAT, Artificial Intelligence, vol.171, issue.8-9, pp.8-9240, 2007.
DOI : 10.1016/j.artint.2007.03.001

URL : http://doi.org/10.1016/j.artint.2007.03.001

S. Darras, G. Dequen, L. Devendeville, and C. M. Li, On Inconsistent Clause-Subsets for Max-SAT Solving, CP-2007, pp.225-240, 2007.
DOI : 10.1007/978-3-540-74970-7_18

F. Heras and J. Larrosa, New inference rules for efficient Max-SAT solving, AAAI-2006, pp.68-73, 2006.

F. Heras, J. Larrosa, and A. Oliveras, Mini- MaxSat : A new weighted Max-SAT solver, 2007.

J. Larrosa and F. Heras, Resolution in Max- SAT and its relation to local consistency in weighted CSPs, IJCAI-2005, pp.193-198, 2005.

J. Larrosa, F. Heras, and S. De-givry, A logical approach to efficient Max-SAT solving, Artificial Intelligence, vol.172, issue.2-3, pp.204-233, 2008.
DOI : 10.1016/j.artint.2007.05.006

C. M. Li, F. Manyà, and J. Planes, Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers, CP-2005, pp.403-414, 2005.
DOI : 10.1007/11564751_31

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

C. M. Li, F. Manyà, and J. Planes, New inference rules for Max-SAT, J. of Artificial Intelligence Research, vol.30, pp.321-359, 2007.

K. Pipatsrisawat and A. Darwiche, Clone: Solving Weighted Max-SAT??in a Reduced Search Space, AI-07, pp.223-233, 2007.
DOI : 10.1007/978-3-540-76928-6_24

M. Ramirez and H. Geffner, Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT, CP-2007, pp.605-619, 2007.
DOI : 10.1007/978-3-540-74970-7_43

R. J. Wallace and E. Freuder, Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximumsatisfiability problems, Cliques, Coloring and Satisfiability, pp.587-615, 1996.

Z. Xing and W. Zhang, MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability, Artificial Intelligence, vol.164, issue.1-2, pp.47-80, 2005.
DOI : 10.1016/j.artint.2005.01.004