{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:27:10Z","timestamp":1725568030617},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204633"},{"type":"electronic","value":"9783540399018"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39901-8_14","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T10:39:21Z","timestamp":1288003161000},"page":"178-193","source":"Crossref","is-referenced-by-count":6,"title":["Maintaining Global Hull Consistency with Local Search for Continuous CSPs"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Cruz","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","first-page":"124","volume-title":"Logic Programming Symposium","author":"F. Benhamou","year":"1994","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. In: Logic Programming Symposium, pp. 124\u2013131. MIT Press, Cambridge (1994)"},{"issue":"1","key":"14_CR2","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":"14_CR3","unstructured":"Bordeaux, L., Monfroy, E., Benhamou, F.: Improved bounds on the complexity of kB-consistency. In: Proceedings of 17th IJCAI, pp. 640\u2013650 (2001)"},{"issue":"2","key":"14_CR4","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"},{"key":"14_CR5","unstructured":"Collavizza, H., Delobel, F., Rueher, M.: Extending Consistent Domains of Numeric CSP. In: IJCAI, pp. 406\u2013413 (1999)"},{"key":"14_CR6","first-page":"478","volume-title":"Principles Practice Constraint Programming","author":"J. Cruz","year":"1999","unstructured":"Cruz, J., Barahona, P.: An Interval Constraint Approach to Handle Parametric ODEs for Decision Support. In: Principles Practice Constraint Programming, pp. 478\u2013479. Springer, Heidelberg (1999)"},{"key":"14_CR7","first-page":"185","volume-title":"AI in Medicine","author":"J. Cruz","year":"1999","unstructured":"Cruz, J., Barahona, P., Benhamou, F.: Integrating Deep Biomedical Models into Medical DSSs: an Interval Constraint Approach. In: AI in Medicine, pp. 185\u2013194. Springer, Heidelberg (1999)"},{"key":"14_CR8","first-page":"349","volume-title":"10th Portuguese Conference on AI","author":"J. Cruz","year":"2001","unstructured":"Cruz, J., Barahona, P.: Global Hull Consistency with Local Search for Continuous Constraint Solving. In: 10th Portuguese Conference on AI, pp. 349\u2013362. Springer, Heidelberg (2001)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/10720084_8","volume-title":"Frontiers of Combining Systems","author":"J. Cruz","year":"2000","unstructured":"Cruz, J., Barahona, P.: Handling Differential Equations with Constraints for Decision Support. In: Frontiers of Combining Systems, pp. 105\u2013120. Springer, Heidelberg (2000)"},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971446","volume-title":"Applied Numerical Linear Algebra","author":"J.W. Demmel","year":"1997","unstructured":"Demmel, J.W.: Applied Numerical Linear Algebra. SIAM, Philadelphia (1997)"},{"key":"14_CR11","volume-title":"Numerical Methods for Unconstrained Optimization and Nonlinear Least Squares","author":"J.E. Dennis","year":"1983","unstructured":"Dennis, J.E., Schnabel, R.B.: Numerical Methods for Unconstrained Optimization and Nonlinear Least Squares. Prentice-Hall, Englewood Cliffs (1983)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/comjnl\/7.2.149","volume":"7","author":"R. Fletcher","year":"1964","unstructured":"Fletcher, R., Reeves, C.: Function Minimization by Conjugate Gradients. Computer Journal\u00a07, 149\u2013154 (1964)","journal-title":"Computer Journal"},{"key":"14_CR13","volume-title":"Matrix Computations","author":"G.H. Golub","year":"1996","unstructured":"Golub, G.H., Van Loan, C.F.: Matrix Computations, 3rd edn. Johns Hopkins University Press, Baltimore (1996)","edition":"3"},{"key":"14_CR14","unstructured":"Goualard, F.: Langages et environnements en programmation par contraintes d\u2019intervalles. Th\u00e8se de doctorat. Universit\u00e9 de Nantes (2000)"},{"key":"14_CR15","volume-title":"Global Optimization Using Interval Analysis","author":"E. Hansen","year":"1992","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992)"},{"issue":"1,2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF00143879","volume":"1","author":"D. Sam-Haroud","year":"1996","unstructured":"Sam-Haroud, D., Faltings, B.V.: Consistency Techniques for Continuous Constraints. Constraints\u00a01(1,2), 85\u2013118 (1996)","journal-title":"Constraints"},{"key":"14_CR17","first-page":"289","volume-title":"Principles Practice Constraint Programming","author":"L. Krippahl","year":"1999","unstructured":"Krippahl, L., Barahona, P.: Applying Constraint Propagation to Protein Structure Determination. In: Principles Practice Constraint Programming, pp. 289\u2013302. Springer, Heidelberg (1999)"},{"key":"14_CR18","first-page":"232","volume-title":"IJCAI","author":"O. Lhomme","year":"1993","unstructured":"Lhomme, O.: Consistency Techniques for Numeric CSPs. In: IJCAI, pp. 232\u2013238. IEEE Pr., Los Alamitos (1993)"},{"issue":"2","key":"14_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\u00a07(2), 95\u2013132 (1974)","journal-title":"Information Science"},{"key":"14_CR20","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"14_CR21","volume-title":"Iterative Solution of Nonlinear Equations in Several Variables","author":"J. Ortega","year":"1970","unstructured":"Ortega, J., Rheinboldt, W.: Iterative Solution of Nonlinear Equations in Several Variables. Academic Press, London (1970)"},{"key":"14_CR22","unstructured":"Puget, J.-F., Van Hentenryck, P.: A Constraint Satisfaction Approach to a Circuit Design Problem. Journal of Global Optimization, MIT Press (1997)"},{"key":"14_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-5592-3","volume-title":"Introduction to Numerical Analysis","author":"J. Stoer","year":"1980","unstructured":"Stoer, J., Burlisch, R.: Introduction to Numerical Analysis. Springer, Heidelberg (1980)"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal of Numerical Analysis 34(2) (1997)","DOI":"10.1137\/S0036142995281504"}],"container-title":["Lecture Notes in Computer Science","Global Optimization and Constraint Satisfaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39901-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:09:14Z","timestamp":1558292954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39901-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204633","9783540399018"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39901-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}