1. Abramé, A., Habet, D.: Ahmaxsat: description and evaluation of a branch and bound Max-SAT solver. J. Satisfiability Boolean Modeling Comput. 9, 89–128 (2014)
2. Abramé, A., Habet, D.: Local search algorithm for the partial minimum satisfiability problem. In: Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI, Vietri sul Mare, Italy, pp. 821–827 (2015)
3. Ansótegui, C., Bonet, M.L., Levy, J., Manyà, F.: Inference rules for high-order consistency in weighted CSP. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, Vancouver, Canada, pp. 167–172 (2007)
4. Ansótegui, C., Bonet, M.L., Levy, J., Manyà, F.: The logic behind weighted CSP. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI-2007, Hyderabad, India, pp. 32–37 (2007)
5. Ansótegui, C., Bonet, M.L., Levy, J., Manyà, F.: Resolution procedures for multiple-valued optimization. Inf. Sci. 227, 43–59 (2013)