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

DOI10.1093/LOGCOM/EXZ017zbMath1430.68344OpenAlexW2965821940WikidataQ127772355 ScholiaQ127772355MaRDI QIDQ5212558

Xiaojuan Liao, Miyuki Koshimura

Publication date: 29 January 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exz017

zbMATH Keywords

optimizationmaximum satisfiabilitycoalition structure generationmultiagent system

Mathematics Subject Classification ID

Noncooperative games (91A10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Agent technology and artificial intelligence (68T42) Computational aspects of satisfiability (68R07)

This page was built for publication: A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets