{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:09:14Z","timestamp":1725491354657},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752530"},{"type":"electronic","value":"9783540752547"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75254-7_29","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T07:10:25Z","timestamp":1189581025000},"page":"288-297","source":"Crossref","is-referenced-by-count":6,"title":["Verifying Dominant Strategy Equilibria in Auctions"],"prefix":"10.1007","author":[{"given":"Emmanuel M.","family":"Tadjouddine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Guerin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Dash, R.K., Jennings, N.R., Parkes, D.C.: Computational-mechanism design: A call to arms. IEEE Intelligent Systems, 40\u201347 (November 2003)","DOI":"10.1109\/MIS.2003.1249168"},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0004-3702(97)00023-4","volume":"94","author":"D. Koller","year":"1997","unstructured":"Koller, D., Pfeffer, A.: Representations and solutions for game-theoretic problems. Artificial Intelligence\u00a094(1), 167\u2013215 (1997)","journal-title":"Artificial Intelligence"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Guerin, F., Tadjouddine, E.M.: Realising common knowledge assumptions in agent auctions. In: Proceedings of the 2006 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, pp. 579\u2013586 (December 2006)","DOI":"10.1109\/IAT.2006.106"},{"issue":"8","key":"29_CR4","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1287\/mnsc.44.8.1131","volume":"44","author":"M.H. Rothkopf","year":"1998","unstructured":"Rothkopf, M.H., Pekec, A., Harstad, R.M.: Computationally manageable combinatorial auctions. Management Science\u00a044(8), 1131\u20131147 (1998)","journal-title":"Management Science"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Sandholm, T., Suri, S., Gilpin, A., Levine, D.: Winner determination in combinatorial auction generalizations. In: AAMAS, pp. 69\u201376 (2002)","DOI":"10.1145\/544757.544760"},{"key":"29_CR6","unstructured":"Tennenholtz, M.: Some tractable combinatorial auctions. In: AAAI\/IAAI, pp. 98\u2013103 (2000)"},{"key":"29_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813825","volume-title":"Putting Auction Theory to Work","author":"P. Milgrom","year":"2004","unstructured":"Milgrom, P.: Putting Auction Theory to Work. Cambridge University Press, Cambridge (2004)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Cavallo, R.: Optimal decision-making with minimal waste: strategyproof redistribution of VCG payments. In: AAMAS, pp. 882\u2013889 (2006)","DOI":"10.1145\/1160633.1160790"},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF01726210","volume":"11","author":"E.H. Clarke","year":"1971","unstructured":"Clarke, E.H.: Multipart pricing of public goods. Public Choice\u00a011, 17\u201333 (1971)","journal-title":"Public Choice"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Automating first-order relational logic. In: SIGSOFT FSE, pp. 130\u2013139 (2000)","DOI":"10.1145\/357474.355063"},{"issue":"2","key":"29_CR11","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: A lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol.\u00a011(2), 256\u2013290 (2002), \n                    \n                      http:\/\/alloy.mit.edu","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"29_CR12","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M.R.A. Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.D.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge, England (2000)"},{"issue":"33","key":"29_CR13","doi-asserted-by":"publisher","first-page":"8","DOI":"10.2307\/2977633","volume":"41","author":"W. Vickrey","year":"1961","unstructured":"Vickrey, W.: Counter-speculation, auctions, and competitive sealed tenders. Journal of Finance\u00a041(33), 8\u201337 (1961)","journal-title":"Journal of Finance"},{"key":"29_CR14","volume-title":"Combinatorial optimization","author":"W.J. Cook","year":"1998","unstructured":"Cook, W.J., Cunningham, W.H., Pulleyblank, W.R., Schrijver, A.: Combinatorial optimization. Wiley, 605 Third Avenue, New York, US (1998)"},{"key":"29_CR15","first-page":"1","volume-title":"EC 2000","author":"N. Nisan","year":"2000","unstructured":"Nisan, N.: Bidding and allocation in combinatorial auctions. In: EC 2000. Proceedings of the 2nd ACM conference on Electronic commerce, pp. 1\u201312. ACM Press, New York (2000)"},{"key":"29_CR16","volume-title":"Combinatorial Auctions","author":"L.M. Ausubel","year":"2006","unstructured":"Ausubel, L.M., Milgrom, P.: The lovely but lonely vickrey auction. In: Cramton, P., et al. (eds.) Combinatorial Auctions, MIT Press, Cambridge (2006)"},{"key":"29_CR17","unstructured":"Tadjouddine, E.M., Guerin, F.: Verifying equilibria in games of complete and perfect information represented by presburger formulas. In: Proceedings of the 2006 LOFT Conference, Liverpool, UK, pp. 219\u2013226 (July 2006)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75254-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T02:01:16Z","timestamp":1558490476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75254-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752530","9783540752547"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75254-7_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}