{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:17:12Z","timestamp":1725718632898},"publisher-location":"Dordrecht","reference-count":29,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048153503"},{"type":"electronic","value":"9789401712477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-017-1247-7_17","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T00:02:28Z","timestamp":1362960148000},"page":"213-228","source":"Crossref","is-referenced-by-count":3,"title":["Comparing Partial Consistencies"],"prefix":"10.1007","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":"17_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":"17_CR2","volume-title":"Proc. Logic Programming: Proceedings of the 1994 International Symposium, MIT Press","author":"F Benhamou","year":"1994","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":"17_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. and Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming\n              32 (1997), pp. 1\u201324.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"RP Brent","year":"1978","unstructured":"Brent, R. P.: A FORTRAN Multiple-Precision Arithmetic Package, ACM Trans. on Math. Software\n              4 (1) (1978), pp. 57\u201370.","journal-title":"ACM Trans. on Math. Software"},{"issue":"2","key":"17_CR5","first-page":"125","volume":"2","author":"JC Cleary","year":"1987","unstructured":"Cleary, J. C.: Logical Arithmetic, Future Computing Systems\n              2 (2) (1987), pp. 125\u2013149.","journal-title":"Future Computing Systems"},{"key":"17_CR6","volume-title":"Proc. CP98 (Fourth International Conference on Principles and Practice of Constraint Programming), LNCS 1520, Springer Verlag","author":"H Collavizza","year":"1998","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."},{"key":"17_CR7","doi-asserted-by":"publisher","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\n              65 (1994), pp. 363\u2013376.","journal-title":"Artificial Intelligence"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"EC Freuder","year":"1978","unstructured":"Freuder, E. C.: Synthesizing Constraint Expressions, Communications of the ACM\n              21 (1978), pp. 958\u2013966.","journal-title":"Communications of the ACM"},{"key":"17_CR9","volume-title":"On the Combination of Box-Consistency and Hull-Consistency, Workshop ECAI on Non Binary-Constraints","author":"L Granvilliers","year":"1998","unstructured":"Granvilliers, L.: On the Combination of Box-Consistency and Hull-Consistency, Workshop ECAI on Non Binary-Constraints, Brighton, United Kingdom, 1998"},{"key":"17_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":"17_CR11","doi-asserted-by":"publisher","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\n              53 (1994), pp. 323\u2013335.","journal-title":"Computing"},{"key":"17_CR12","doi-asserted-by":"publisher","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\n              58 (1992), pp. 71\u2013112.","journal-title":"Artificial Intelligence"},{"key":"17_CR13","volume-title":"Netherlands","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, Netherlands, 1996."},{"key":"17_CR14","volume-title":"MIT Press","author":"Y Lebbah","year":"1998","unstructured":"Lebbah, Y. and Lhomme, O.: Acceleration Methods for Numeric CSPs AAAI, MIT Press, 1998."},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(93)90045-I","volume":"16","author":"JHM Lee","year":"1993","unstructured":"Lee, J. H. M. and Van Emden, M. H.: Interval Computation as Deduction in CHIP, Journal of Logic Programming\n              16 (1993), pp. 255\u2013276.","journal-title":"Journal of Logic Programming"},{"key":"17_CR16","first-page":"232","volume-title":"Proc. IJCAI93","author":"O Lhomme","year":"1993","unstructured":"Lhomme, O.: Consistency Techniques for Numeric CSPs, in: Proc. IJCAI93, Chambery, France, 1993, pp. 232\u2013238."},{"issue":"3","key":"17_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)\n              11 (3) (1997), pp. 283\u2013312.","journal-title":"RIA (Dunod)"},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","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\n              8 (1) (1997), pp. 99\u2013118.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"17_CR19","doi-asserted-by":"publisher","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\n              7 (2) (1974), pp. 95\u2013132.","journal-title":"Information Science"},{"key":"17_CR20","volume-title":"Prentice Hall","author":"R Moore","year":"1966","unstructured":"Moore, R.: Interval Analysis, Prentice Hall, 1966."},{"key":"17_CR21","volume-title":"Cambridge University Press","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, 1990."},{"key":"17_CR22","first-page":"19","volume-title":"Developments in Global Optimization","author":"A Neumaier","year":"1997","unstructured":"Neumaier, A., Dallwig, S., and Schichl, H.: GLOPT-A Program for Constrained Global Optimization, in: Bomze, I. et al. (eds.), Developments in Global Optimization, Kluwer Academic Publishers, Dordrecht, 1997, pp. 19\u201336."},{"key":"17_CR23","volume-title":"Proc. of IEEE Canadian Conference on Electrical and Computer Engineering, IEEE Computer Society Press","author":"WJ Older","year":"1990","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":"17_CR24","doi-asserted-by":"publisher","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\n              13 (1998), pp. 75\u201393.","journal-title":"Journal of Global Optimization"},{"key":"17_CR25","unstructured":"Prologia: PrologIV Constraints Inside,Parc technologique de Luminy\u2014Case 919 13288 Marseille cedex 09, France, 1996."},{"issue":"3","key":"17_CR26","doi-asserted-by":"publisher","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\n              3 (3) (1997), pp. 325\u2013333.","journal-title":"Reliable Computing"},{"key":"17_CR27","volume-title":"Academic Press","author":"E Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction, Academic Press, 1993."},{"key":"17_CR28","volume-title":"MIT Press","author":"P Hentenryck","year":"1997","unstructured":"Van Hentenryck, P., Deville, Y., and Michel, L.: Numerica. A Modeling Language for Global Optimization, MIT Press, 1997."},{"key":"17_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\n              34 (2) (1997).","DOI":"10.1137\/S0036142995281504"}],"container-title":["Developments in Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1247-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T13:11:15Z","timestamp":1557580275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1247-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789048153503","9789401712477"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1247-7_17","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}