{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:19:38Z","timestamp":1742995178700,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_16","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"225-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["A Constraint Programming Approach to the Stable Marriage Problem"],"prefix":"10.1007","author":[{"given":"Ian P.","family":"Gent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert W.","family":"Irving","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David F.","family":"Manlove","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Prosser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara M.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"16_CR1","unstructured":"C. Bessi\u00e8re and J-C R\u00e9gin. Arc consistency for general constraint networks: Preliminary results. In Proceedings of IJCAI\u201997, pages 398\u2013404, 1997."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"M. Davis, G. Logemann, and D. Loveland. A machine program for theoremproving. Communications of the ACM, 5:394\u2013397, 1962.","journal-title":"Communications of the ACM"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E. C. Freuder","year":"1982","unstructured":"Eugene C. Freuder. A suficient condition for backtrack-free search. Journal of the ACM, 29:24\u201332, 1982.","journal-title":"Journal of the ACM"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1080\/00029890.1962.11989827","volume":"69","author":"D. Gale","year":"1962","unstructured":"D. Gale and L.S. Shapley. College admissions and the stability of marriage. American Mathematical Monthly, 69:9\u201315, 1962.","journal-title":"American Mathematical Monthly"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0166-218X(85)90074-5","volume":"11","author":"D. Gale","year":"1985","unstructured":"D. Gale and M. Sotomayor. Some remarks on the stable matching problem. Discrete Applied Mathematics, 11:223\u2013232, 1985.","journal-title":"Discrete Applied Mathematics"},{"key":"16_CR6","unstructured":"D. Gusfield and R. W. Irving. The Stable Marriage Problem: Structure and Algorithms. The MIT Press, 1989."},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/3-540-60299-2_17","volume-title":"A unifying framework for tractable constraints","author":"P. Jeavons","year":"1995","unstructured":"P. Jeavons, D. Cohen, and M. Gyssens. A unifying framework for tractable constraints. In Proceedings CP\u201995, volume LNCS 976, pages 276\u2013291. Springer, 1995."},{"key":"16_CR8","unstructured":"D.F. Manlove, R.W. Irving, K. Iwama, S. Miyazaki, and Y. Morita. Hard variants of stable marriage. To appear in Theoretical Computer Science."},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1137\/0219004","volume":"19","author":"C. Ng","year":"1990","unstructured":"C. Ng and D.S. Hirschberg. Lower bounds for the stable marriage problem and its variants. SIAM Journal on Computing, 19:71\u201377, 1990.","journal-title":"SIAM Journal on Computing"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1137\/0404023","volume":"4","author":"C. Ng","year":"1991","unstructured":"C. Ng and D.S. Hirschberg. Three-dimensional stable matching problems. SIAM Journal on Discrete Mathematics, 4:245\u2013252, 1991.","journal-title":"SIAM Journal on Discrete Mathematics"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0196-6774(90)90007-2","volume":"11","author":"E. Ronn","year":"1990","unstructured":"E. Ronn. NP-complete stable matching problems. Journal of Algorithms, 11:285\u2013304, 1990.","journal-title":"Journal of Algorithms"},{"issue":"6","key":"16_CR12","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1086\/261272","volume":"92","author":"A.E. Roth","year":"1984","unstructured":"A.E. Roth. The evolution of the labor market for medical interns and residents: a case study in game theory. Journal of Political Economy, 92(6):991\u20131016, 1984.","journal-title":"Journal of Political Economy"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"A.E. Roth and M.A.O. Sotomayor. Two-sided matching: a study in game-theoretic modeling and analysis, volume 18 of Econometric Society Monographs. Cambridge University Press, 1990.","DOI":"10.1017\/CCOL052139015X"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"J.E. Vande Vate. Linear programming brings marital bliss. Operations Research Letters, 1989.","DOI":"10.1016\/0167-6377(89)90041-2"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:07:45Z","timestamp":1585602465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}