1. Alviano, M., Dodaro, C., Ricca, F. (2015). A maxsat algorithm using cardinality constraints of bounded size. In IJCAI (pp. 2677–2683).
2. Argelich, J., Li, C.M., Many, F., Planes, J. (2016). Max-sat 2016: Eleventh max-sat evaluation. http://maxsat.ia.udl.cat/introduction/ .
3. Biere, A., Heule, M., van Maaren, H. (2009). Handbook of satisfiability Vol. 185. Amsterdam: IOS press.
4. Chalkiadakis, G., Elkind, E., Wooldridge, M. (2011). Computational aspects of cooperative game theory. Synthesis Lectures on Artificial Intelligence and Machine Learning, 5(6), 1–168.
5. Conitzer, V., & Sandholm, T. (2006). Complexity of constructing solutions in the core based on synergies among coalitions. Artificial Intelligence, 170(6-7), 607–619.