{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:44Z","timestamp":1725561284327},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_21","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"300-314","source":"Crossref","is-referenced-by-count":5,"title":["Implementing Constraint Propagation by Composition of Reductions"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Granvilliers","sequence":"first","affiliation":[]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0304-3975(99)00032-8","volume":"221","author":"K.R. Apt","year":"1999","unstructured":"Apt, K.R.: The Essence of Constraint Propagation. Theoretical Computer Science\u00a0221(1-2), 179\u2013210 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"21_CR2","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1145\/371880.371884","volume":"22","author":"K.R. Apt","year":"2000","unstructured":"Apt, K.R.: The Role of Commutativity in Constraint Propagation Algorithms. ACM TOPLAS\u00a022(6), 1002\u20131036 (2000)","journal-title":"ACM TOPLAS"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61735-3_4","volume-title":"Algebraic and Logic Programming","author":"F. Benhamou","year":"1996","unstructured":"Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 62\u201376. Springer, Heidelberg (1996)"},{"key":"21_CR4","first-page":"124","volume-title":"Proceedings of ILPS","author":"F. Benhamou","year":"1994","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) Revisited. In: Proceedings of ILPS, pp. 124\u2013138. MIT Press, Cambridge (1994)"},{"key":"21_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":"21_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0024-3795(69)90028-7","volume":"2","author":"D. Chazan","year":"1969","unstructured":"Chazan, D., Miranker, W.: Chaotic Relaxation. Linear Algebra and its Applications\u00a02, 199\u2013222 (1969)","journal-title":"Linear Algebra and its Applications"},{"issue":"11","key":"21_CR7","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E.C. Freuder","year":"1978","unstructured":"Freuder, E.C.: Synthesizing Constraint Expressions. CACM\u00a021(11), 958\u2013966 (1978)","journal-title":"CACM"},{"key":"21_CR8","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"21_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/3-540-44957-4_24","volume-title":"Computational Logic - CL 2000","author":"R. Gennari","year":"2000","unstructured":"Gennari, R.: Arc Consistency Algorithms via Iterations of Subsumed Functions. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"issue":"6","key":"21_CR10","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1023\/A:1014750702474","volume":"7","author":"L. Granvilliers","year":"2001","unstructured":"Granvilliers, L.: On the Combination of Interval Constraint Solvers. Reliable Computing\u00a07(6), 467\u2013483 (2001)","journal-title":"Reliable Computing"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0020-0190(00)00048-X","volume":"74","author":"L. Granvilliers","year":"2000","unstructured":"Granvilliers, L., Hains, G.: A Conservative Scheme for Parallel Interval Narrowing. Information Processing Letters\u00a074, 141\u2013146 (2000)","journal-title":"Information Processing Letters"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-40888-6_19","volume-title":"Advances in Information Systems","author":"L. Granvilliers","year":"2000","unstructured":"Granvilliers, L., Monfroy, E.: Declarative Modelling of Constraint Propagation Strategies. In: Yakhno, T. (ed.) ADVIS 2000. LNCS, vol.\u00a01909, pp. 201\u2013215. Springer, Heidelberg (2000)"},{"key":"21_CR13","volume-title":"Proceedings of PACRIM","author":"G. Hains","year":"1997","unstructured":"Hains, G., van Emden, M.H.: Towards high-quality, high-speed numerical computation. In: Proceedings of PACRIM, IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"21_CR14","unstructured":"Laburthe, F.: The OCRE project team, CHOCO: implementing a CP kernel. In: Proceedings of TRICS (2000)"},{"key":"21_CR15","first-page":"232","volume-title":"Proceedings of IJCAI","author":"O. Lhomme","year":"1993","unstructured":"Lhomme, O.: Consistency Techniques for Numeric CSPs. In: Proceedings of IJCAI, pp. 232\u2013238. Morgan Kaufmann, San Francisco (1993)"},{"issue":"1-2","key":"21_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0743-1066(98)10007-9","volume":"37","author":"O. Lhomme","year":"1998","unstructured":"Lhomme, O., Gotlieb, A., Rueher, M.: Dynamic Optimization of Interval Narrowing Algorithms. Journal of Logic Programming\u00a037(1-2), 165\u2013183 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"K. Mackworth","year":"1977","unstructured":"Mackworth, K.: Consistency in Networks of Relations. Artificial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"21_CR18","first-page":"553","volume-title":"Proceedings of ACM SAC","author":"E. Monfroy","year":"1999","unstructured":"Monfroy, E.: Using Weaker Functions for Constraint Propagation over Real Numbers. In: Proceedings of ACM SAC, pp. 553\u2013559. ACM Press, New York (1999)"},{"key":"21_CR19","first-page":"19","volume-title":"Proceedings of ACM SAC","author":"E. Monfroy","year":"1999","unstructured":"Monfroy, E., R\u00e9ty, J.-H.: Chaotic Iteration for Distributed Constraint Propagation. In: Proceedings of ACM SAC, pp. 19\u201324. ACM Press, New York (1999)"},{"key":"21_CR20","unstructured":"Narin\u2019yani, A.S.: Subdefinite models and operations with subdefinite values. Preprint, USSR academy of sciences, Siberian Division, 400 (1982)"},{"key":"21_CR21","unstructured":"Ng, K.B.K., Choi, C.W., Henz, M., Mueller, T.: GIFT: A Generic Interface for Reusing Filtering Algorithms. In: Proceedings of TRICS (2000)"},{"key":"21_CR22","first-page":"513","volume-title":"Proceedings of ILPS","author":"J.-F. Puget","year":"1995","unstructured":"Puget, J.-F., Leconte, M.: Beyond the Glass Box: Constraints as Objects. In: Proceedings of ILPS, pp. 513\u2013527. MIT Press, Cambridge (1995)"},{"key":"21_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-45470-5_18","volume-title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation","author":"S. Ratschan","year":"2002","unstructured":"Ratschan, S.: Continuous First-Order Constraint Satisfaction. In: Calmet, J., Benhamou, B., Caprotti, O., H\u00e9nocque, L., Sorge, V. (eds.) AISC 2002 and Calculemus 2002. LNCS (LNAI), vol.\u00a02385, pp. 181\u2013195. Springer, Heidelberg (2002)"},{"key":"21_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: a Modeling Language for Global Optimization","author":"P. Hentenryck Van","year":"1997","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: a Modeling Language for Global Optimization. MIT Press, Cambridge (1997)"},{"key":"21_CR25","volume-title":"The Psychology of Computer Vision","author":"D.L. Waltz","year":"1975","unstructured":"Waltz, D.L.: Generating Semantic Descriptions from Drawings of Scenes with Shadows. In: Winston, P.H. (ed.) The Psychology of Computer Vision. McGraw-Hill, New York (1975)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:54:59Z","timestamp":1559332499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}