A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets

Xiaojuan Liao, Miyuki Koshimura. A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets. Journal of Logic and Computation, 29(6):913-931, 2019. [doi]

Abstract

Abstract is missing.