{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:22:51Z","timestamp":1761488571704},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540218364"},{"type":"electronic","value":"9783540246640"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24664-0_15","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T14:59:59Z","timestamp":1287845999000},"page":"209-224","source":"Crossref","is-referenced-by-count":21,"title":["Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Lhomme","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"ILOG: ILOG JConfigurator 2.0 User\u2019s Manual. ILOG S.A. (2003)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Lhomme, O.: An efficient filtering algorithm for disjunction of constraints. In: Proc. of the the Conference on Principles and Practice of Constraint Programming, pp. 904\u2013908 (2003)","DOI":"10.1007\/978-3-540-45193-8_76"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Constraint Programming: Basics and Trends","author":"P. Hentenryck Van","year":"1995","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, Springer, Heidelberg (1995)"},{"key":"15_CR4","series-title":"LNCS","first-page":"377","volume-title":"20th German Annual Conference on Artificial Intelligence","author":"J. W\u00fcrtz","year":"1996","unstructured":"W\u00fcrtz, J., M\u00fcller, T.: Constructive disjunction revisited. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) 20th German Annual Conference on Artificial Intelligence, Dresden, Germany. LNCS, vol.\u00a01137, pp. 377\u2013386. Springer, Heidelberg (1996)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"C. Bessi\u00e8re","year":"1994","unstructured":"Bessi\u00e8re, C.: Arc-consistency and arc-consistency again. Artificial Intelligence\u00a065, 179\u2013190 (1994)","journal-title":"Artificial Intelligence"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R., Henderson, T.C.: Arc and path consistency revisited. Artificial Intelligence\u00a028, 225\u2013233 (1986)","journal-title":"Artificial Intelligence"},{"key":"15_CR7","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Arc consistency for general constraints networks: preliminary results. In: IJCAI 1997, Nagoya, pp. 398\u2013404 (1997)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-540-48085-3_8","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"C. Bessi\u00e8re","year":"1999","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Enforcing arc consistency on global constraints by solving subproblems on the fly. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 103\u2013117. Springer, Heidelberg (1999)"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck Van","year":"1992","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.: A generic arc-consistency algorithm and its specializations. Artificial Intelligence\u00a057, 291\u2013321 (1992)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24664-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:04:54Z","timestamp":1558307094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24664-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540218364","9783540246640"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24664-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}