{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:10Z","timestamp":1747546930544},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615514"},{"type":"electronic","value":"9783540706205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_73","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:55:57Z","timestamp":1330293357000},"page":"164-178","source":"Crossref","is-referenced-by-count":11,"title":["An instance of adaptive constraint propagation"],"prefix":"10.1007","author":[{"given":"Hani","family":"Sakkout","sequence":"first","affiliation":[]},{"given":"Mark G.","family":"Wallace","sequence":"additional","affiliation":[]},{"given":"E. Barry","family":"Richards","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"C. Bessiere","year":"1994","unstructured":"C. Bessiere. Arc-consistency and arc-consistency again. Artificial Intelligence 65:179\u2013190, 1994.","journal-title":"Artificial Intelligence"},{"key":"12_CR2","unstructured":"C. Bessi\u00e9re, E. Freuder, and J-C. R\u00e9gin. Using inference to reduce arc consistency computation. In IJCAI-95, pages 592\u2013598, Montr\u00e9al, August 1995."},{"key":"12_CR3","unstructured":"ECLiPSe version 3.4 user manual, July. Technical report, ECRC, 1995."},{"key":"12_CR4","unstructured":"H. El Sakkout. Extending finite domain propagation for repair. Technical report, IC-Parc, 1995."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"E.C. Freuder. Using metalevel knowledge to reduce constraint checking. In Constraint Processing: Selected Papers from the ECAI'94 Workshop. Springer, 1995.","DOI":"10.1007\/3-540-59479-5_25"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1145\/321296.321300","volume":"12","author":"S.W. Golomb","year":"1965","unstructured":"S.W. Golomb and L.D. Baumert. Backtrack programming. Journal of the ACM, 12:516\u2013524, 1965.","journal-title":"Journal of the ACM"},{"key":"12_CR7","unstructured":"O. Hansson and A. Mayer. A decision-theoretic scheduler for space telescope applications. In Intelligent Scheduling. Morgan Kaufmann, 1994."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R.M. Haralick","year":"1980","unstructured":"R.M. Haralick and G.L. Elliot. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263\u2013314, October 1980.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"12_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225\u2013233, 1986.","journal-title":"Artificial Intelligence"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"D. Sabin and E.C. Freuder. Contradicting conventional wisdom in constraint satisfaction. In ECAI-94-11th European Conference on Artificial Intelligence, pages 125\u2013129, Amsterdam, August 1994.","DOI":"10.1007\/3-540-58601-6_86"},{"key":"12_CR12","unstructured":"B.M. Smith and S. A. Grant. Sparse constraint graphs and exceptionally hard problems. In IJCAI-95, pages 646\u2013651, Montr\u00e9al, August 1995."},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(92)90007-K","volume":"58","author":"A. B. Philips Steven Minton","year":"1992","unstructured":"Andrew B. Philips Steven Minton, Mark D. Johnston and Philip Laird. Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58:161\u2013205, 1992. Minconfict heuristic, CSPs.","journal-title":"Artificial Intelligence"},{"key":"12_CR14","unstructured":"Edward Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993."},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck Van","year":"1992","unstructured":"P. Van Hentenryck, Y. Deville, and C. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291\u2013321, 1992.","journal-title":"Artificial Intelligence"},{"key":"12_CR16","unstructured":"R.J. Wallace. Why ac-3 is almost always better than ac-4 for establishing arc consistency in csps. In IJCAI-95, pages 592\u2013598, Montr\u00e9al, August 1995."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:24Z","timestamp":1619573664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}