{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:46:58Z","timestamp":1725475618366},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672814"},{"type":"electronic","value":"9783540464211"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720084_2","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T14:36:30Z","timestamp":1167402990000},"page":"18-31","source":"Crossref","is-referenced-by-count":4,"title":["Towards Cooperative Interval Narrowing"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Granvilliers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, London (1983)"},{"issue":"1-2","key":"2_CR2","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"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61735-3_4"},{"key":"2_CR4","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. of International Conference on Logic Programming (1999)"},{"key":"2_CR5","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) Revisited. In: Proc. of International Logic Programming Symposium (1994)"},{"issue":"1","key":"2_CR6","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. Journal of Logic Programming\u00a032(1), 1\u201324 (1997)","journal-title":"Journal of Logic Programming"},{"key":"2_CR7","unstructured":"Bini, D., Mourrain, B.: Handbook of Polynomial Systems (1996)"},{"key":"2_CR8","unstructured":"Ceberio, M.: Preconditioning and Solving Techniques for Constrained Global Optimization. Master\u2019s thesis, University of Nantes, France (1999)"},{"issue":"2","key":"2_CR9","first-page":"125","volume":"2","author":"J.G. Cleary","year":"1987","unstructured":"Cleary, J.G.: Logical Arithmetic. Future Computing Systems\u00a02(2), 125\u2013149 (1987)","journal-title":"Future Computing Systems"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1009922003700","volume":"5","author":"H. Collavizza","year":"1999","unstructured":"Collavizza, H., Delobel, F., Rueher, M.: Comparing Partial Consistencies. Reliable Computing\u00a05(3), 213\u2013228 (1999)","journal-title":"Reliable Computing"},{"key":"2_CR11","first-page":"89","volume-title":"Constraint Logic Programming: Selected Research","author":"A. Colmerauer","year":"1993","unstructured":"Colmerauer, A.: Naive solving of non-linear constraints. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Research, pp. 89\u2013112. MIT Press, Cambridge (1993)"},{"issue":"2","key":"2_CR12","first-page":"125","volume":"4","author":"L. Granvilliers","year":"1998","unstructured":"Granvilliers, L.: A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems. Journal of Universal Computer Science\u00a04(2), 125\u2013146 (1998)","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Granvilliers, L., Goualard, F., Benhamou, F.: Box Consistency through Weak Box Consistency. In: Proc. of International Conference on Tools with Articial Intelligence (1999)","DOI":"10.1109\/TAI.1999.809826"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0024-3795(69)90024-X","volume":"2","author":"E.R. Hansen","year":"1969","unstructured":"Hansen, E.R.: On the Solution of Linear Algebraic Equations with Interval Coefficients. Linear Algebra and its Applications\u00a02, 153\u2013165 (1969)","journal-title":"Linear Algebra and its Applications"},{"key":"2_CR15","volume-title":"Global Optimization using Interval Analysis","author":"E.R. Hansen","year":"1992","unstructured":"Hansen, E.R.: Global Optimization using Interval Analysis. Marcel Dekker, New York (1992)"},{"key":"2_CR16","unstructured":"IEEE. IEEE standard for binary floating-point arithmetic. Technical Report IEEE Std 754-1985, Institute of Electrical and Electronics Engineers (1985); Rearmed (1990)"},{"key":"2_CR17","unstructured":"Lebbah, Y., Lhomme, O.: Consistance \u00e9num\u00e9rante. In: Proc. of French Conference on Practical Solving of NP-Complete Problems (1999)"},{"key":"2_CR18","unstructured":"Lhomme, O.: Consistency Techniques for Numeric CSPs. In: Proc. of International Joint Conference on Articial Intelligence (1993)"},{"issue":"1","key":"2_CR19","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. Articial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Articial Intelligence"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1026485406803","volume":"5","author":"K. Makino","year":"1999","unstructured":"Makino, K., Berz, M.: Efficient Control of the Dependency Problem based on Taylor Model Method. Reliable Computing\u00a05, 3\u201312 (1999)","journal-title":"Reliable Computing"},{"issue":"1","key":"2_CR21","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218213095000061","volume":"4","author":"P. Marti","year":"1995","unstructured":"Marti, P., Rueher, M.: A Distributed Cooperating Constraint Solving System. International Journal on Artificial Intelligence Tools\u00a04(1), 93\u2013113 (1995)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Monfroy, E.: Using Weaker Functions for Constraint Propagation over Real Numbers. In: Proc. of ACM Symposium on Applied Computing (1999)","DOI":"10.1145\/298151.298473"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Monfroy, E., Rusinowitch, M., Schott, R.: Implementing Non-Linear Constraints with Cooperative Solvers. In: Proc. of ACM Symposium on Applied Computing (1996)","DOI":"10.1145\/331119.331147"},{"key":"2_CR24","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"2_CR25","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"2_CR26","unstructured":"Older, W., Vellino, A.: Constraint Arithmetic on Real Intervals. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Research. MIT Press, Cambridge (1993)"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1023\/A:1009939327927","volume":"3","author":"M. Rueher","year":"1997","unstructured":"Rueher, M., Solnon, C.: Concurrent Cooperating Solvers over Reals. Reliable Computing\u00a03(3), 325\u2013333 (1997)","journal-title":"Reliable Computing"},{"key":"2_CR28","unstructured":"Stahl, V.: Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations. PhD thesis, University of Linz, Austria (1995)"},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"P. Hentenryck Van","year":"1997","unstructured":"Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis\u00a034(2), 797\u2013827 (1997)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"2_CR30","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":"2_CR31","unstructured":"Verschelde, J.: Database of Polynomial Systems. Michigan State University, USA (1999), http:\/\/www.math.msu.edu\/~jan\/demo.html"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720084_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:34:42Z","timestamp":1556019282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720084_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672814","9783540464211"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/10720084_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}