1. Electre Tri-C: A multiple criteria sorting method based on characteristic reference actions;Almeida-Dias;European J. Oper. Res.,2010
2. A multiple criteria sorting method where each category is characterized by several reference actions: The Electre Tri-nC method;Almeida-Dias;European J. Oper. Res.,2012
3. Alviano, M., Dodaro, C., Ricca, F., 2015. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence. IJCAI 2015, pp. 92677–2683.
4. Social Choice and Individual Values;Arrow,1953
5. MaxSAT evaluation 2018: New developments and detailed results;Bacchus;J. Satisf. Boolean Model. Comput.,2019