{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:37Z","timestamp":1725483817927},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_27","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:59:47Z","timestamp":1179208787000},"page":"402-414","source":"Crossref","is-referenced-by-count":12,"title":["A Dual Graph Translation of a Problem in \u2018Life\u2019"],"prefix":"10.1007","author":[{"given":"Barbara M.","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"27_CR1","unstructured":"F. Bacchus and P. van Beek. On the Conversion Between Non-Binary and Binary Constraint Satisfaction Problems. In Proceedings AAAI\u201998, pages 311\u2013318, 1998."},{"key":"27_CR2","first-page":"398","volume":"1","author":"C. Bessi\u00e8re","year":"1997","unstructured":"C. Bessi\u00e8re and J.-C. R\u00e9gin. Arc consistency for general constraint networks: preliminary results. In Proceedings IJCAI\u201997, volume 1, pages 398\u2013404, 1997.","journal-title":"Proceedings IJCAI\u201997"},{"key":"27_CR3","unstructured":"R. Bosch and M. Trick. Constraint programming and hybrid formulations for three life designs. In N. Jussien and F. Laburthe, editors, Proceedings of the Fourth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR\u201902), pages 77\u201391, 2002."},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0167-6377(00)00016-X","volume":"27","author":"R. A. Bosch","year":"2000","unstructured":"R. A. Bosch. Maximum density stable patterns in variants of Conway\u2019s game of Life. Operations Research Letters, 27:7\u201311, 2000.","journal-title":"Operations Research Letters"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","volume":"38","author":"R. Dechter","year":"1989","unstructured":"R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, 38:353\u2013366, 1989.","journal-title":"Artificial Intelligence"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","volume":"223","author":"M. Gardner","year":"1970","unstructured":"M. Gardner. The fantastic combinations of John Conway\u2019s new solitaire game. Scientific American, 223:120\u2013123, 1970.","journal-title":"Scientific American"},{"key":"27_CR7","unstructured":"I. P. Gent and B. M. Smith. Symmetry Breaking During Search in Constraint Programming. In W. Horn, editor, Proceedings ECAI\u20192000, pages 599\u2013603, 2000."},{"key":"27_CR8","unstructured":"K. Stergiou and T. Walsh. Encodings of Non-Binary Constraint Satisfaction Problems. In Proceedings AAAI\u201999, pages 163\u2013168, 1999."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T17:36:49Z","timestamp":1538847409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}