{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:01:36Z","timestamp":1775818896578,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540497875","type":"print"},{"value":"9783540497882","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11941439_9","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T09:53:05Z","timestamp":1163757185000},"page":"49-58","source":"Crossref","is-referenced-by-count":25,"title":["Finite Domain Bounds Consistency Revisited"],"prefix":"10.1007","author":[{"given":"C. W.","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Harvey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. H. M.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K. Apt","year":"2003","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)"},{"key":"9_CR2","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP (Intervals) revisited. In: ILPS 1994, pp. 124\u2013138 (1994)"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer, and boolean constraints. JLP\u00a032(1), 1\u201324 (1997)","journal-title":"JLP"},{"key":"9_CR4","unstructured":"Cheadle, A., Harvey, W., Sadler, A., Schimpf, J., Shen, K., Wallace, M.: ECL i PS e : An introduction. Technical Report IC-Parc-03-1, IC-Parc, Imperial College London (2003)"},{"key":"9_CR5","unstructured":"Choi, C.W., Harvey, W., Lee, J.H.M., Stuckey, P.J.: A note on the definition of constraint monotonicity (2004), available from http:\/\/www.cse.cuhk.edu.hk\/~cwchoi\/monotonicity.pdf"},{"key":"9_CR6","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46135-3_7","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"A. Frisch","year":"2002","unstructured":"Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global constraints for lexicographic orderings. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 93\u2013108. Springer, Heidelberg (2002)"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints\u00a01(3), 191\u2013244 (1997)","journal-title":"Constraints"},{"key":"9_CR9","unstructured":"Harvey, W., Schimpf, J.: Bounds consistency techniques for long linear constraints. In: Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, pp. 39\u201346 (2002)"},{"key":"9_CR10","unstructured":"ILOG. ILOG Solver 5.2: User\u2019s Manual (2001)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-540-45193-8_30","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"I. Katriel","year":"2003","unstructured":"Katriel, I., Thiel, S.: Fast bound consistency for the global cardinality constraint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 437\u2013451. Springer, Heidelberg (2003)"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1007\/978-3-540-45193-8_73","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"Arnaud Lallouet","year":"2003","unstructured":"Lallouet, A., Legtchenko, A., Dao, T., Ed-Dbali, A.: Intermediate (learned) consistencies. Research Report RR-LIFO-2003-04, Laboratoire d\u2019Informatique Fondamentale d\u2019Orl\u00e9ans (2003)"},{"key":"9_CR13","unstructured":"Lhomme, O.: Consistency techniques for numeric CSPs. In: IJCAI 1993, pp. 232\u2013238 (1993)"},{"key":"9_CR14","unstructured":"L\u00f3pez-Ortiz, A., Quimper, C.-G., Tromp, J., van Beek, P.: A fast and simple algorithm for bounds consistency of the alldifferent constraint. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 245\u2013250 (2003)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45619-8_11","volume-title":"Logic Programming","author":"M. Maher","year":"2002","unstructured":"Maher, M.: Propagation completeness of reactive constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 148\u2013162. Springer, Heidelberg (2002)"},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: an Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: an Introduction. MIT Press, Cambridge (1998)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/3-540-45349-0_23","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"K. Mehlhorn","year":"2000","unstructured":"Mehlhorn, K., Thiel, S.: Faster algorithms for bound-consistency of the sortedness and the alldifferent constraint. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 306\u2013319. Springer, Heidelberg (2000)"},{"key":"9_CR19","unstructured":"Puget, J.-F.: A fast algorithm for the bound consistency of alldiff constraints. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), pp. 359\u2013366 (1998)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-45193-8_41","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"C.-G. Quimper","year":"2003","unstructured":"Quimper, C.-G., van Beek, P., L\u00f3pez-Ortiz, A., Golynski, A., Sadjad, S.B.: An efficient bounds consistency algorithm for the global cardinality constraint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 600\u2013614. Springer, Heidelberg (2003)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-45349-0_28","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"J.-C. R\u00e9gin","year":"2000","unstructured":"R\u00e9gin, J.-C., Rueher, M.: A global constraint combining a sum constraint and difference constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 384\u2013395. Springer, Heidelberg (2000)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Schulte, C., Stuckey, P.J.: When do bounds and domain propagation lead to the same search space. In: Proceedings of the 3rd International Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 115\u2013126 (2001)","DOI":"10.1145\/773184.773197"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"SICStus Prolog. SICStus Prolog User\u2019s Manual, Release 3.10.1 (2003)","DOI":"10.1007\/978-3-322-89621-6_1"},{"issue":"1-3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. Hentenryck Van","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation and evaluation of the constraint language cc (FD). Journal of Logic Programming\u00a037(1-3), 139\u2013164 (1998)","journal-title":"Journal of Logic Programming"},{"key":"9_CR25","unstructured":"Walsh, T.: Relational consistencies. Research Report APES-28-2001, APES Research Group (2001)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-540-45193-8_49","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"T. Walsh","year":"2003","unstructured":"Walsh, T.: Consistency and propagation with multiset constraints: A formal viewpoint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 724\u2013738. Springer, Heidelberg (2003)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-45349-0_34","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"Y. Zhang","year":"2000","unstructured":"Zhang, Y., Yap, R.H.C.: Arc consistency on n-ary monotonic and linear constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 470\u2013483. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","AI 2006: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11941439_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T09:37:03Z","timestamp":1707385023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11941439_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540497875","9783540497882"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11941439_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}