{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:11Z","timestamp":1725551231940},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435938"},{"type":"electronic","value":"9783540460800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46080-2_115","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:26Z","timestamp":1269882806000},"page":"1097-1105","source":"Crossref","is-referenced-by-count":0,"title":["Improved Interval Constraint Propagation for Constraints on Partial Derivatives"],"prefix":"10.1007","author":[{"given":"Evgueni","family":"Petrov","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Benhamou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"115_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Constraint Programming: basics and trends","author":"Benhamou. F","year":"1995","unstructured":"F. Benhamou. Interval Constraint Logic Programming. In A. Podelski, editor, Constraint Programming: basics and trends, volume 910 of Lecture Notes in Computer Science, pages 1\u201321. Springer-Verlag, 1995."},{"key":"115_CR2","doi-asserted-by":"crossref","unstructured":"R. Dechter. Principles and Practice of Constraint Programming \u2014 CP 2000. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000.","DOI":"10.1007\/3-540-45349-0"},{"key":"115_CR3","unstructured":"ECRC. ECL\n                           \n                    i\n                  PSe 3.5: ECRC Common Logic Programming System. User\u2019s Guide, 1995."},{"key":"115_CR4","doi-asserted-by":"crossref","unstructured":"L. Granvilliers and F. Benhamou. Progress in the solving of a circuit design problem. Journal of Global Optimization, 2001.","DOI":"10.1023\/A:1011266226870"},{"key":"115_CR5","unstructured":"A. Griewank. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM Publications, 2000."},{"key":"115_CR6","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. J. Stuckey. Programming with Constraints. An Introduction. The MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"115_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic differentiation: techniques and applications","author":"L.B. Rall","year":"1981","unstructured":"L. B. Rall. Automatic differentiation: techniques and applications. volume 120 of Lecture Notes in Computer Science. Springer, 1981."},{"key":"115_CR8","volume-title":"Numerica: a Modelling Language for Global Optimization","author":"H. P Van","year":"1997","unstructured":"P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modelling Language for Global Optimization. The MIT Press, Cambridge, MA, 1997."},{"key":"115_CR9","first-page":"339","volume-title":"Proc. Int. Conf. Practical Application of Constraint Technology","author":"T.M. Yakhno","year":"1997","unstructured":"T. M. Yakhno, V. Z. Zilberfaine, and E. S. Petrov. Applications of ECLiPSe: Interval Domain Library. In Proc. Int. Conf. Practical Application of Constraint Technology, pages 339\u2013357, Westminster Central Hall, London, UK, 1997."}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46080-2_115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:09:01Z","timestamp":1551078541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46080-2_115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435938","9783540460800"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-46080-2_115","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}