Helena Keinänen. Core Non-emptiness Checking in Hedonic Games via Difference Logic. In Piotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I. Volume 6070 of Lecture Notes in Computer Science, pages 331-340, Springer, 2010. [doi]
Abstract is missing.