{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:57Z","timestamp":1725564897634},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202028"},{"type":"electronic","value":"9783540451938"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45193-8_32","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T23:35:03Z","timestamp":1283988903000},"page":"466-479","source":"Crossref","is-referenced-by-count":5,"title":["Solving \u2018Still Life\u2019 with Soft Constraints and Bucket Elimination"],"prefix":"10.1007","author":[{"given":"Javier","family":"Larrosa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enric","family":"Morancho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","volume-title":"Nonserial Dynamic Programming","author":"U. Bertele","year":"1972","unstructured":"Bertele, U., Brioschi, F.: Nonserial Dynamic Programming. Academic Press, London (1972)"},{"issue":"2","key":"32_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-Based Constraint Satisfaction and Optimization. Journal of the ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of the ACM"},{"key":"32_CR3","unstructured":"Bosch, R., Trick, M.: Constraint programming and hybrid formulations for three life designs. In: Proceedings of the International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR 2002, pp. 77\u201391 (2002)"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R. Dechter","year":"1999","unstructured":"Dechter, R.: Bucket elimination: A unifying framework for reasoning. Artificial Intelligence\u00a0113, 41\u201385 (1999)","journal-title":"Artificial Intelligence"},{"key":"32_CR5","first-page":"228","volume":"1","author":"N.D. Elkies","year":"1998","unstructured":"Elkies, N.D.: The still-life density problem and its generalisations. Voronoi\u2019s impact on modern science, Book\u00a01, 228\u2013253 (1998); Institute of Math. Kyiv","journal-title":"Voronoi\u2019s impact on modern science, Book"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","volume":"223","author":"M. Gardner","year":"1970","unstructured":"Gardner, M.: The fantastic combinations of John Conway\u2019s new solitary game. Scientific American\u00a0223, 120\u2013123 (1970)","journal-title":"Scientific American"},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/3-540-45349-0_22","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"J. Larrosa","year":"2000","unstructured":"Larrosa, J., Dechter, R.: Boosting Search with Variable Elimination. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 291\u2013305. Springer, Heidelberg (2000)"},{"key":"32_CR8","unstructured":"Larrosa, J.: Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. Constraints: an International Journal (to appear)"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Dechter, R., El Fattah, Y.: Topological Parameters for Time-Space Tradeoff. Artificial Intelligence (to appear)","DOI":"10.1016\/S0004-3702(00)00050-3"},{"key":"32_CR10","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued Constraint Satisfaction Problems: hard and easy problems. In: Proceedings of the 14th. International Join Conference on Artificial Intelligence, IJCAI 1995, Montreal, Canada, pp. 631\u2013637 (1995)"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-46135-3_27","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"B. Smith","year":"2002","unstructured":"Smith, B.: A dual graph translation of a problem in life. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 402. Springer, Heidelberg (2002)"},{"key":"32_CR12","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45193-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T06:19:29Z","timestamp":1553062769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}