{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:43:11Z","timestamp":1752460991440},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642859854"},{"type":"electronic","value":"9783642859830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-85983-0_14","type":"book-chapter","created":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T02:56:12Z","timestamp":1383879372000},"page":"350-366","source":"Crossref","is-referenced-by-count":2,"title":["Interval Constraint Programming in C++"],"prefix":"10.1007","author":[{"given":"Eero","family":"Hyv\u0151nen","sequence":"first","affiliation":[]},{"given":"Stefano","family":"De Pascale","sequence":"additional","affiliation":[]},{"given":"Aarno","family":"Lehtola","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Precise Numerical Analysis (Wm. C","author":"O Aberth","year":"1988","unstructured":"Aberth, O. (1988) Precise Numerical Analysis (Wm. C. Brown, Dubuque)."},{"issue":"4","key":"14_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0097-8493(85)90031-7","volume":"9","author":"J Alander","year":"1985","unstructured":"Alander, J. (1985) On interval arithmetic range approximation methods of polynomials and rational functions, Computers e4 Graphics\n                           9 (4) 365\u2013372.","journal-title":"Computers Graphics"},{"key":"14_CR3","first-page":"B62","volume-title":"Programmers manual of interval package","author":"J Alander","year":"1987","unstructured":"Alander, J. (1987) Programmer\u2019s manual of interval package IP++, Report TKO B62 ( Helsinki University of Technology, Faculty of Information Technology, Espoo, Finland )"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF02241750","volume":"28","author":"N Asaithambi","year":"1982","unstructured":"Asaithambi, N., Zuhe, S., Moore, R. (1982) On computing the range of values, Computing\n                           28 225\u2013237.","journal-title":"Computing"},{"key":"14_CR5","first-page":"1993","volume-title":"International Conference on Numerical Analysis with Automatic Result Verification, Lafayette","author":"A Babichev","year":"1993","unstructured":"Babichev, A., Kadyrowa, O., Kashevarove, T., Semenov, A. (1993) Unicalc \u2014 An intelligent solver for problems with imprecise and subdefinite data. International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, USA, March 1993."},{"key":"14_CR6","volume-title":"Pascal-SC, a Computer Language for Scientific Computation (Academic Press","author":"G Bohlender","year":"1987","unstructured":"Bohlender, G., Ulrich, C., von Gudenberg, J., Rall, J. (1987) Pascal-SC, a Computer Language for Scientific Computation (Academic Press, New York, NY)."},{"key":"14_CR7","volume-title":"Department of Computer Science)","author":"A Borning","year":"1979","unstructured":"Borning, A. (1979) ThingLab - A constraint oriented simulation laboratory, Report CS-79\u2013746 (Stanford University, Department of Computer Science)."},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/27623.29354","volume":"5","author":"A Borning","year":"1986","unstructured":"Borning, A. (1986) Constraint-based tools for building user interfaces, ACM Transactions on Graphics\n                           5 (4) 345\u2013374.","journal-title":"ACM Transactions on Graphics"},{"issue":"2","key":"14_CR9","first-page":"125","volume":"2","author":"JC Cleary","year":"1987","unstructured":"Cleary, J.C. (1987) Logical arithmetic, Future Computing Systems\n                           2 (2) 125\u2013149.","journal-title":"Future Computing Systems"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, J. (1990) Constraint logic programming languages, Comm. ACM\n                           33 (7).","DOI":"10.1145\/79204.79209"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1002\/spe.4380120406","volume":"12","author":"A Cole","year":"1982","unstructured":"Cole, A., Morrison, R. (1982) Triplex: A system for interval arithmetic, Software Practice and Experience\n                           12 341\u2013350.","journal-title":"Software Practice and Experience"},{"key":"14_CR12","volume-title":"Computer Algebra Systems and Al-gorithms for Algebraic Computation","author":"JH Davenport","year":"1993","unstructured":"Davenport, J.H., Siret, Y., Tournier, E. (1993) Computer Algebra - Systems and Al-gorithms for Algebraic Computation (Academic Press, New York, NY)."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"E Davis","year":"1987","unstructured":"Davis, E. (1987) Constraint propagation with interval labels, Artificial Intell. 32 99\u2013118.","journal-title":"Artificial Intell"},{"key":"14_CR14","first-page":"213","volume-title":"Knowledge Based Problem Solving","author":"AL Elias","year":"1986","unstructured":"Elias, A.L. (1986) Knowledge engineering of the aircraft design process, in: J.S. Kowalik, ed., Knowledge Based Problem Solving ( Prentice-Hall, Englewood Cliffs, NJ ) 213\u2013256."},{"key":"14_CR15","volume-title":"Prospects for Using Variable Precision Interval Software","author":"J Ely","year":"1990","unstructured":"Ely, J. (1990) Prospects for Using Variable Precision Interval Software in C++ for Solving some Contemporary Scientific Problems, dissertation ( The Ohio State University, Ohio)."},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2318109","volume":"77","author":"G Forsythe","year":"1970","unstructured":"Forsythe, G. (1970) Pitfalls in computation, or why math book is not enough, Am. Math. Monthly\n                           77 931\u2013956.","journal-title":"Am. Math. Monthly"},{"key":"14_CR17","volume-title":"Constraint-Directed Search: A Case-Study of Job-Shop Scheduling","author":"M Fox","year":"1983","unstructured":"Fox, M. (1983) Constraint-Directed Search: A Case-Study of Job-Shop Scheduling, dissertation (Carnegie-Mellon University, Department of Computer Science, Pittsburgh, Pennsylvania)."},{"key":"14_CR18","volume-title":"Algebraic Constraints, dissertation (Carnegie-Mellon University, Department of Computer Science","author":"J Gosling","year":"1983","unstructured":"Gosling, J. (1983) Algebraic Constraints, dissertation (Carnegie-Mellon University, Department of Computer Science, Pittsburgh, Pennsylvania)."},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/B978-0-12-505630-4.50021-3","volume-title":"Reliability in Computing","author":"E Hansen","year":"1988","unstructured":"Hansen, E. (1988) An overview of global optimization using interval analysis, in: R. Moore, ed., Reliability in Computing ( Academic Press, New York, NY ) 289\u2013307."},{"key":"14_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02598-7","volume-title":"Global Optimization","author":"R Horst","year":"1990","unstructured":"Horst, R., Thy, H. (1990) Global Optimization ( Springer-Verlag, Berlin)."},{"key":"14_CR21","first-page":"72","volume-title":"Constraint Reasoning with Incomplete Knowledge","author":"E Hyvnen","year":"1991","unstructured":"Hyv6nen, E. (1991a) Constraint Reasoning with Incomplete Knowledge \u2014 The Tol-erance Propagation Approach, dissertation (Publications 72, VTT, Technical Re-search Centre of Finland, Espoo, Finland )."},{"key":"14_CR22","volume-title":"Proceedings of the first International Conference on Artificial Intelligence Applications on Wall Street","author":"E Hyvdnen","year":"1991","unstructured":"Hyvdnen, E. (1991b) Interval constraint spreadsheets for financial planning, Proceedings of the first International Conference on Artificial Intelligence Applications on Wall Street ( IEEE Press, New York)."},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E Hyvdnen","year":"1992","unstructured":"Hyvdnen, E. (1992) Constraint reasoning based on interval arithmetic \u2014 The tolerance propagation approach, Artificial Intelligence\n                           58 71\u2013112.","journal-title":"Artificial Intelligence"},{"key":"14_CR24","volume-title":"Laboratory for Information Processing","author":"E Hyv\u00f3nen","year":"1993","unstructured":"Hyv\u00f3nen, E., De Pascale, S. (1993) IAF++: An interval arithmetic function evaluator in C++, working paper (VTT, Technical Research Centre of Finland, Laboratory for Information Processing, Helsinki, Finland)."},{"key":"14_CR25","volume-title":"Boston","author":"E Hyv\u00f6nen","year":"1993","unstructured":"Hyv\u00f6nen, E., De Pascale, S., Lehtola A. (1993) Interval constraint satisfaction tool INC++, Proceedings of 5th International Conference on Tools with Artificial Intelligence, Boston ( IEEE Press, New York,)."},{"key":"14_CR26","volume-title":"The Tksolver Book","author":"M Konopasek","year":"1984","unstructured":"Konopasek, M., Jayaraman, S. (1984) The TK!Solver Book (McGraw-Hill, Berkeley, California)."},{"key":"14_CR27","first-page":"324","volume-title":"Proceedings Morgan Kaufmann Publishers","author":"B Kuipers","year":"1988","unstructured":"Kuipers, B., Berleant, D. (1988) Using incomplete quantitative knowledge in qualitative reasoning, Proceedings of AAAI-88 (Morgan Kaufmann Publishers, Los Altos, California ) 324\u2013329."},{"key":"14_CR28","volume-title":"Fortran extension for engineering\/scientific computation with access to ACRITH (IBM)","author":"U Kulisch","year":"1987","unstructured":"Kulisch, U. (1987) FORTRAN-SC, a study of a FORTRAN extension for engineering\/scientific computation with access to ACRITH (IBM)."},{"key":"14_CR29","volume-title":"paper (Department of Computer Science","author":"J Lee","year":"1991","unstructured":"Lee, J., vanEmden, M. (1991a) Numerical computation can be deduction in CHIP, paper (Department of Computer Science, University of Victoria, Canada)."},{"key":"14_CR30","volume-title":"paper (Department of Computer Science","author":"J Lee","year":"1991","unstructured":"Lee, J., vanEmden, M. (1991b) Adapting CLP(R) to floating point arithmetic, paper (Department of Computer Science, University of Victoria, Canada)."},{"key":"14_CR31","first-page":"1966","volume-title":"Programming Languages. Their Specification and Generation","author":"W Leier","year":"1988","unstructured":"Leier, W. (1988) Constraint Programming Languages. Their Specification and Generation (Addison-Wesley, Reading, MA). Moore, R. ( 1966 ) Interval Arithmetic (Prentice-Hall, Englewood Cliffs, NJ )."},{"key":"14_CR32","volume-title":"SIAM Studies in Applied Mathematics","author":"R Moore","year":"1979","unstructured":"Moore, R. (1979) Methods and Applications of Interval Analysis, SIAM Studies in Applied Mathematics ( SIAM, Philadelphia)."},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Moore, R., Hansen, E., Leclerc, A. (1992) Rigorous methods for global optimization, In: Recent Advances in Global Optimization ( Princeton University Press, Princeton ) 321\u2013342.","DOI":"10.1515\/9781400862528.321"},{"key":"14_CR34","first-page":"505","volume-title":"Parametric engineering using constraint-based reasoning, Proceedings of AAAI-90 (Morgan Kaufmann Publishers","author":"N Murtagh","year":"1990","unstructured":"Murtagh, N., Shimura, M. (1990) Parametric engineering using constraint-based reasoning, Proceedings of AAAI-90 (Morgan Kaufmann Publishers, Los Altos, California ) 505\u2013510."},{"key":"14_CR35","volume-title":"in: Proceedings of the Canadian Conference on Electrical and Computer Engineering","author":"W Older","year":"1990","unstructured":"Older, W., Vellino, A. (1990) Extending Prolog with constraint arithmetic on real intervals, in: Proceedings of the Canadian Conference on Electrical and Computer Engineering."},{"key":"14_CR36","unstructured":"Older, W., Vellino, A. (1993) Constraint arithmetic on real intervals, in: F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming, Collected Research ( MIT Press, Cambridge, MA )."},{"key":"14_CR37","volume-title":"Computer Methods for the Range of Functions (Ellis Horwood","author":"H Ratscheck","year":"1984","unstructured":"Ratscheck, H., Rokne, J. (1984) Computer Methods for the Range of Functions (Ellis Horwood, Chichister, England)."},{"key":"14_CR38","volume-title":"New Computer Methods for Global Optimization (Ellis Horwood","author":"H Ratscheck","year":"1988","unstructured":"Ratscheck, H., Rokne, J. (1988) New Computer Methods for Global Optimization (Ellis Horwood, Chichister, England )"},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"Skelboe, S. (1974) Computation of rational interval functions,BIT 14 (1) 87\u201395.","DOI":"10.1007\/BF01933121"},{"key":"14_CR40","volume-title":"The Definition and Implementation of a Computer Programming Language Based on Constraints, dissertation (Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science","author":"GL Steele","year":"1980","unstructured":"Steele, G.L. (1980) The Definition and Implementation of a Computer Programming Language Based on Constraints, dissertation (Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, Cambridge, MA)."},{"key":"14_CR41","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","volume":"16","author":"M Stefik","year":"1981","unstructured":"Stefik, M. (1981) Planning with constraints (MOLGEN: Part 1), Artificial Intelligence\n                           16 111\u2013140.","journal-title":"Artificial Intelligence"},{"key":"14_CR42","first-page":"830","volume-title":"Design as refinement plus constraint propagation. The VEXED experience. Proceedings of AAAI-87 (Morgan Kaufmann Publishers","author":"L Steinberg","year":"1987","unstructured":"Steinberg, L. (1987) Design as refinement plus constraint propagation. The VEXED experience. Proceedings of AAAI-87 (Morgan Kaufmann Publishers, Los Altos, California ) 830\u2013835."},{"key":"14_CR43","doi-asserted-by":"crossref","unstructured":"Sutherland, I. (1963) Sketchpad: A man-machine graphical communication system, IFIPS Proceedings of the Spring Joint Computer Conference 329\u2013346.","DOI":"10.1145\/1461551.1461591"}],"container-title":["NATO ASI Series","Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-85983-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T03:25:44Z","timestamp":1558668344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-85983-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642859854","9783642859830"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-85983-0_14","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}