1. A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets. (30th July 2019) Authors: Liao, Xiaojuan; Koshimura, Miyuki Journal: Journal of logic and computation Issue: Volume 29:Number 6(2019) Page Start: 913 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗