{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:27Z","timestamp":1725564627709},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153952"},{"type":"electronic","value":"9783642153969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15396-9_18","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T03:00:16Z","timestamp":1283742016000},"page":"191-205","source":"Crossref","is-referenced-by-count":3,"title":["Domain Consistency with Forbidden Values"],"prefix":"10.1007","author":[{"given":"Yves","family":"Deville","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Handbook of Constraint Programming.","author":"C. Bessiere","year":"2006","unstructured":"Bessiere, C.: Constraint propagation. In: Rossi, F., Beek, P.v., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier Science Inc., New York (2006)"},{"issue":"2-3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Van Hentenryck","year":"1992","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.M.: A generic arc-consistency algorithm and its specializations. Artif. Intell.\u00a057(2-3), 291\u2013321 (1992)","journal-title":"Artif. Intell."},{"unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Arc consistency for general constraint networks: Preliminary results. In: IJCAI, pp. 398\u2013404 (1997)","key":"18_CR3"},{"doi-asserted-by":"crossref","unstructured":"Lecoutre, C.: Constraint Networks: Techniques and Algorithms. ISTE\/Wiley (2009)","key":"18_CR4","DOI":"10.1002\/9780470611821"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/978-3-540-30201-8_54","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"F. Boussemart","year":"2004","unstructured":"Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Support inference for generic filtering. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 721\u2013725. Springer, Heidelberg (2004)"},{"unstructured":"Mehta, D., van Dongen, M.R.C.: Reducing checks and revisions in coarse-grained MAC algorithms. In: IJCAI, pp. 236\u2013241 (2005)","key":"18_CR6"},{"unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Local consistency on conjunctions of constraints. In: Proceedings Workshop on Non Binary Constraints on ECAI 1998, pp. 53\u201360 (1998)","key":"18_CR7"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-540-24664-0_15","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"O. Lhomme","year":"2004","unstructured":"Lhomme, O.: Arc-consistency filtering algorithms for logical combinations of constraints. In: R\u00e9gin, J.-C., Rueher, M. (eds.) CPAIOR 2004. LNCS, vol.\u00a03011, pp. 209\u2013224. Springer, Heidelberg (2004)"},{"unstructured":"Van Hentenryck, P., Deville, Y.: The cardinality operator: A new logical connective for constraint logic programming. In: ICLP, pp. 745\u2013759 (1991)","key":"18_CR9"},{"key":"18_CR10","first-page":"293","volume-title":"Constraint Programming: Basics and Trends","author":"P. Hentenryck Van","year":"1994","unstructured":"Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, Implementation, and Evaluation of the Constraint Language cc(FD). In: Constraint Programming: Basics and Trends, pp. 293\u2013316. Springer, Heidelberg (1994)"},{"unstructured":"Bacchus, F., Walsh, T.: Propagating logical combinations of constraints. In: IJCAI, pp. 35\u201340 (2005)","key":"18_CR11"},{"unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: AAAI 2007, pp. 191\u2013197 (2007)","key":"18_CR12"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-540-74970-7_28","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"G. Katsirelos","year":"2007","unstructured":"Katsirelos, G., Walsh, T.: A compression algorithm for large arity extensional constraints. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 379\u2013393. Springer, Heidelberg (2007)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-540-85958-1_34","volume-title":"Principles and Practice of Constraint Programming","author":"K.C.K. Cheng","year":"2008","unstructured":"Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad hoc r-ary constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 509\u2013523. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15396-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T18:00:30Z","timestamp":1559584830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}