1. C. Ansótegui, M. Bofill, M. Palahí, J. Suy, M. Villaret, A proposal for solving weighted CSPs with SMT, in: Proc. of the 10th Int. Workshop on Constraint Modelling and Reformulation (ModRef 2011), 2011, pp. 5–19.
2. C. Ansótegui, M.L. Bonet, J. Gabàs, J. Levy, Improving SAT-based Weighted MaxSAT solvers, in: Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming (CPʼ12), 2012, pp. 86–101.
3. C. Ansótegui, M.L. Bonet, J. Levy, On solving MaxSAT through SAT, in: Proc. of the 12th Int. Conf. of the Catalan Association for Artificial Intelligence (CCIAʼ09), 2009, pp. 284–292.
4. C. Ansótegui, M.L. Bonet, J. Levy, Solving (Weighted) Partial MaxSAT through satisfiability testing, in: Proc. of the 12th Int. Conf. on Theory and Applications of Satisfiability Testing (SATʼ09), 2009, pp. 427–440.
5. C. Ansótegui, M.L. Bonet, J. Levy, A new algorithm for Weighted Partial MaxSAT, in: Proc. the 24th National Conference on Artificial Intelligence (AAAIʼ10), 2010.