{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T10:23:47Z","timestamp":1778581427031,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[1999,8]]},"DOI":"10.1023\/a:1009922003700","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"213-228","source":"Crossref","is-referenced-by-count":52,"title":["Comparing Partial Consistencies"],"prefix":"10.1007","volume":"5","author":[{"given":"H\u00e9l\u00e8ne","family":"Collavizza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Delobel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"244232_CR1","unstructured":"Benhamou, F., Goualard, F., and Granvilliers, L.: Programming with the DecLIC Language, in: Proceedings of the Second Workshop on Interval Constraints, Port-Jefferson, NY, 1997."},{"key":"244232_CR2","unstructured":"Benhamou, F., Mc Allester, D., and Van Hentenryck, P.: CLP(Intervals) Revisited, in: Proc. Logic Programming: Proceedings of the 1994 International Symposium, MIT Press, 1994."},{"key":"244232_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F. and Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming\n32 (1997), pp. 1\u201324.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"244232_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R. P. Brent","year":"1978","unstructured":"Brent, R. P.: A FORTRAN Multiple-Precision Arithmetic Package, ACM Trans. on Math. Software\n4(1) (1978), pp. 57\u201370.","journal-title":"ACM Trans. on Math. Software"},{"issue":"2","key":"244232_CR5","first-page":"125","volume":"2","author":"J. C. Cleary","year":"1987","unstructured":"Cleary, J. C.: Logical Arithmetic, Future Computing Systems\n2(2) (1987), pp. 125\u2013149.","journal-title":"Future Computing Systems"},{"key":"244232_CR6","doi-asserted-by":"crossref","unstructured":"Collavizza, H., Delobel, F., and Rueher, M.: A Note on Partial Consistencies over Continuous Domains Solving Techniques, in: Proc. CP98 (Fourth International Conference on Principles and Practice of Constraint Programming), LNCS 1520, Springer Verlag, 1998.","DOI":"10.1007\/3-540-49481-2_12"},{"key":"244232_CR7","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(94)90022-1","volume":"65","author":"B. Faltings","year":"1994","unstructured":"Faltings, B.: Arc-Consistency for Continuous Variables, Artificial Intelligence\n65 (1994), pp. 363\u2013376.","journal-title":"Artificial Intelligence"},{"key":"244232_CR8","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, Communications of the ACM\n21 (1978), pp. 958\u2013966.","journal-title":"Communications of the ACM"},{"key":"244232_CR9","volume-title":"On the Combination of Box-Consistency and Hull-Consistency","author":"L. Granvilliers","year":"1998","unstructured":"Granvilliers, L.: On the Combination of Box-Consistency and Hull-Consistency, Workshop ECA1 on Non Binary-Constraints, Brighton, United Kingdom, 1998"},{"key":"244232_CR10","volume-title":"Global Optimization Using Interval Analysis","author":"E. Hansen","year":"1992","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, NY, 1992."},{"key":"244232_CR11","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF02307383","volume":"53","author":"H. Hong","year":"1994","unstructured":"Hong, H., Stahl, V.: Safe Starting Regions by Fixed Points and Tightening, Computing\n53 (1994), pp. 323\u2013335.","journal-title":"Computing"},{"key":"244232_CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E. Hyv\u00f6nen","year":"1992","unstructured":"Hyv\u00f6nen, E.: Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, Artificial Intelligence\n58 (1992), pp. 71\u2013112.","journal-title":"Artificial Intelligence"},{"key":"244232_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R. B. Kearfott","year":"1996","unstructured":"Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, Netherlands, 1996."},{"key":"244232_CR14","unstructured":"Lebbah, Y. and Lhomme, O.: Acceleration Methods for Numeric CSPs AAAI, MIT Press, 1998."},{"key":"244232_CR15","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0743-1066(93)90045-I","volume":"16","author":"J. H. M. Lee","year":"1993","unstructured":"Lee, J. H. M. and Van Emden, M. H.: Interval Computation as Deduction in CHIP, Journal of Logic Programming\n16 (1993), pp. 255\u2013276.","journal-title":"Journal of Logic Programming"},{"key":"244232_CR16","unstructured":"Lhomme, O.: Consistency Techniques for Numeric CSPs, In: Proc. IJCA193, Chambery, France, 1993, pp. 232\u2013238."},{"issue":"3","key":"244232_CR17","first-page":"283","volume":"11","author":"O. Lhomme","year":"1997","unstructured":"Lhomme, O. and Rueher, M.: Application des techniques CSP au raisonnement sur les intervalles, RIA (Dunod)\n11(3) (1997). pp. 283\u2013312.","journal-title":"RIA (Dunod)"},{"issue":"1","key":"244232_CR18","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. Mackworth","year":"1997","unstructured":"Mackworth, A.: Consistency in Networks of Relations, Artificial Intelligence\n8(1) (1997), pp. 99\u2013118.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"244232_CR19","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing, Information Science\n7(2) (1974), pp. 95\u2013132.","journal-title":"Information Science"},{"key":"244232_CR20","unstructured":"Moore, R.: Interval Analysis, Prentice Hall, 1966."},{"key":"244232_CR21","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511526473"},{"key":"244232_CR22","first-page":"19","volume-title":"Developments in Global Optimization","author":"A. Neumaier","year":"1997","unstructured":"Neumaier, A., Dallwig, S., and Schichl, H.: GLOPT\u2014A Program for Constrained Global Optimization, in: Bomze, I. et al. (eds.), Developments in Global Optimization, Kluwer Academic Publishers, Dordrecht, 1997, pp. 19\u201336."},{"key":"244232_CR23","unstructured":"Older, W. J. and Vellino, A.: Extending Prolog with Constraint Arithmetic on Real Intervals, in: Proc. of IEEE Canadian Conference on Electrical and Computer Engineering, IEEE Computer Society Press, 1990."},{"key":"244232_CR24","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1023\/A:1008236911603","volume":"13","author":"J.-F. Puget","year":"1998","unstructured":"Puget, J.-F. and Van Hentenryck, P.: A Constraint Satisfaction Approach to a Circuit Design Problem, Journal of Global Optimization\n13 (1998), pp. 75\u201393.","journal-title":"Journal of Global Optimization"},{"key":"244232_CR25","unstructured":"Prologia: PrologIV Constraints Inside, Parc technologique de Luminy\u2014Case 919 13288 Marseille cedex 09, France, 1996."},{"issue":"3","key":"244232_CR26","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1009939327927","volume":"3","author":"M. Rueher","year":"1997","unstructured":"Rueher, M. and Solnon, C.: Concurrent Cooperating Solvers within the Reals, Reliable Computing\n3(3) (1997), pp. 325\u2013333.","journal-title":"Reliable Computing"},{"key":"244232_CR27","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction, Academic Press, 1993."},{"key":"244232_CR28","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Deville, Y., and Michel, L.: Numerica. A Modeling Language for Global Optimization, MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"244232_CR29","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., McAllester, D., and Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach, SIAM Journal on Numerical Analysis\n34(2) (1997).","DOI":"10.1137\/S0036142995281504"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009922003700.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009922003700\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009922003700.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:33:56Z","timestamp":1754472836000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009922003700"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,8]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,8]]}},"alternative-id":["244232"],"URL":"https:\/\/doi.org\/10.1023\/a:1009922003700","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,8]]}}}