1. Ansotegui, C., Bacchus, F., Järvisalo, M., Martins, R. (eds.): MaxSAT Evaluation 2017: Solver and Benchmark Descriptions, vol. B-2017-2. Department of Computer Science Series of Publications B. University of Helsinki (2017)
2. Argelich, J., Li, C.M., Manyà, F., Planes, J.: The first and second max-sat evaluations. JSAT 4(2–4), 251–278 (2008)
3. Bailleux, O.: On the CNF encoding of cardinality constraints and beyond. CoRR, abs/1012.3853 (2010)
4. Lecture Notes in Computer Science;O Bailleux,2003
5. Belov, A., Heule, M., Marques-Silva, J.: MUS extraction using clausal proofs. In: Sinz and Egly [45], pp. 48–57 (2014)