Solving the coalition structure generation problem with MaxSAT

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Abstract

Coalition Structure Generation (CSG), a main research issue in the domain of coalition games, involves partitioning agents into exhaustive and disjoint coalitions so that the social welfare is optimized. The advent of compact representation schemes, such as marginal contribution networks (MC-nets), promotes the efficiency of solving the CSG problem. In this paper, inspired by the dramatic speed-up of Boolean Satisfiability Problem (SAT) solvers, we make the first step towards a study of applying MaxSAT solvers to the CSG problem. We set out to encode the MC-nets into propositional Boolean logic and utilize an off-the-shelf MaxSAT solver as an optimization tool for solving the CSG problem. Specifically, based on the previous works, we encode rule relations and their constraints into weighted partial MaxSAT formulas and show that MaxSAT solvers are useful in solving the CSG problem. Furthermore, we put forward a brand-new method based on agent relations which specify whether two agents of a rule are in the same coalition. Experimental evaluations show that our methods outperform other state-of-the-art algorithms.

Original languageEnglish
Title of host publicationProceedings - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
Pages910-915
Number of pages6
DOIs
Publication statusPublished - Dec 1 2012
Event2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012 - Athens, Greece
Duration: Nov 7 2012Nov 9 2012

Publication series

NameProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Volume1
ISSN (Print)1082-3409

Other

Other2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
CountryGreece
CityAthens
Period11/7/1211/9/12

All Science Journal Classification (ASJC) codes

  • Software
  • Artificial Intelligence
  • Computer Science Applications

Cite this

Liao, X., Koshimura, M., Fujita, H., & Hasegawa, R. (2012). Solving the coalition structure generation problem with MaxSAT. In Proceedings - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012 (pp. 910-915). [6495141] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 1). https://doi.org/10.1109/ICTAI.2012.127