{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:34:18Z","timestamp":1725557658820},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134791"},{"type":"electronic","value":"9783642134807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13480-7_35","type":"book-chapter","created":{"date-parts":[[2010,6,20]],"date-time":"2010-06-20T19:59:07Z","timestamp":1277063947000},"page":"331-340","source":"Crossref","is-referenced-by-count":0,"title":["Core Non-emptiness Checking in Hedonic Games via Difference Logic"],"prefix":"10.1007","author":[{"given":"Helena","family":"Kein\u00e4nen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/j.artint.2006.01.005","volume":"170","author":"V. Conitzer","year":"2006","unstructured":"Conitzer, V., Sandholm, T.: Complexity of constructing solutions in the core based on synergies among coalitions. Artificial Intelligence\u00a0170, 607\u2013619 (2006)","journal-title":"Artificial Intelligence"},{"key":"35_CR2","unstructured":"Malizia, E., Palopoli, L., Scarcello, F.: Infeasibility certificates and the complexity of the core in coalitional games. In: Veloso, M.M. (ed.) IJCAI, pp. 1402\u20131407 (2007)"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"987","DOI":"10.2307\/1912943","volume":"4","author":"J.H. Dr\u00e8ze","year":"1980","unstructured":"Dr\u00e8ze, J.H., Greenberg, J.: Hedonic optimality and stability. Econometrica\u00a04, 987\u20131003 (1980)","journal-title":"Econometrica"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1006\/game.2001.0877","volume":"38","author":"A. Bogomolnaia","year":"2002","unstructured":"Bogomolnaia, A., Jackson, M.O.: The stability of hedonic coalition structures. Games and Economic Behavior\u00a038, 201\u2013230 (2002)","journal-title":"Games and Economic Behavior"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/s003550000067","volume":"18","author":"S. Banerjee","year":"2001","unstructured":"Banerjee, S., Konishi, H., S\u00f6nmez, T.: Core in a simple coalition formation game. Social Choice and Welfare\u00a018, 135\u2013153 (2001)","journal-title":"Social Choice and Welfare"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.geb.2003.10.003","volume":"49","author":"C. Ballester","year":"2004","unstructured":"Ballester, C.: Np-completeness in hedonic games. Games and Economic Behavior\u00a049, 1\u201330 (2004)","journal-title":"Games and Economic Behavior"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification","author":"B. Dutertre","year":"2006","unstructured":"Dutertre, B., de Moura, L.: A Fast Linear-Arithmetic Solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 81\u201394. Springer, Heidelberg (2006)"},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11513988_33","volume-title":"Computer Aided Verification","author":"R. Nieuwenhuis","year":"2005","unstructured":"Nieuwenhuis, R., Oliveras, A.: Dpll(t) with exhaustive theory propagation and its application to difference logic. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 321\u2013334. Springer, Heidelberg (2005)"},{"key":"35_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/S0165-4896(02)00082-3","volume":"45","author":"N. Burani","year":"2003","unstructured":"Burani, N., Zwicker, W.S.: Coalition formation games with separable preferences. Mathematical Social Sciences\u00a045, 27\u201352 (2003)","journal-title":"Mathematical Social Sciences"},{"key":"35_CR10","unstructured":"Elkind, E., Wooldridge, M.: Hedonic coalition nets. In: AAMAS 2009: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, Richland, SC. International Foundation for Autonomous Agents and Multiagent Systems, pp. 417\u2013424 (2009)"},{"issue":"3","key":"35_CR11","first-page":"353","volume":"31","author":"K. Cechl\u00e1rov\u00e1","year":"2002","unstructured":"Cechl\u00e1rov\u00e1, K., Hajdukov\u00e1, J.: Computational complexity of stable partitions with B-preferences. International Journal of Game Theory\u00a031(3), 353\u2013364 (2002)","journal-title":"International Journal of Game Theory"},{"key":"35_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0166-218X(03)00464-5","volume":"138","author":"K. Cechl\u00e1rov\u00e1","year":"2004","unstructured":"Cechl\u00e1rov\u00e1, K., Hajdukov\u00e1, J.: Stable partitions with W-preferences. Discrete Applied Mathematics\u00a0138, 333\u2013347 (2004)","journal-title":"Discrete Applied Mathematics"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Sung, S.C., Dimitrov, D.: Computational complexity in additive hedonic games. European Journal of Operational Research (2009) (forthcoming)","DOI":"10.2139\/ssrn.1318329"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13480-7_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:38:33Z","timestamp":1606167513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13480-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134791","9783642134807"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13480-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}