{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T14:04:24Z","timestamp":1648562664057},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,20]],"date-time":"2009-05-20T00:00:00Z","timestamp":1242777600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s10601-009-9072-5","type":"journal-article","created":{"date-parts":[[2009,5,19]],"date-time":"2009-05-19T06:04:37Z","timestamp":1242713077000},"page":"93-116","source":"Crossref","is-referenced-by-count":1,"title":["Improving inter-block backtracking with interval Newton"],"prefix":"10.1007","volume":"15","author":[{"given":"Bertrand","family":"Neveu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Chabert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,20]]},"reference":[{"key":"9072_CR1","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., & Puget, J.-F. (1999). Revising hull and box consistency. In ICLP (pp. 230\u2013244)."},{"key":"9072_CR2","doi-asserted-by":"crossref","unstructured":"Bliek, C., Neveu, B., & Trombettoni, G. (1998). Using graph decomposition for solving continuous CSPs. In Proc. CP\u201998, LNCS (Vol. 1520, pp. 102\u2013116).","DOI":"10.1007\/3-540-49481-2_9"},{"issue":"6","key":"9072_CR3","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W Bouma","year":"1995","unstructured":"Bouma, W., Fudos, I., Hoffmann, C. M., Cai, J., & Paige, R. (1995). Geometric constraint solver. Computer Aided Design, 27(6), 487\u2013501.","journal-title":"Computer Aided Design"},{"key":"9072_CR4","unstructured":"Chabert, G. (2009). Ibex\u2014An Interval based EXplorer. www.ibex-lib.org ."},{"key":"9072_CR5","doi-asserted-by":"crossref","unstructured":"Chabert, G., & Jaulin, L. (2009). Contractor programming. Artificial Intelligence. Accessed 18 March 2009.","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"9072_CR6","unstructured":"Debruyne, R., & Bessi\u00e8re, C. (1997). Some practicable filtering techniques for the constraint satisfaction problem. In Proc. of IJCAI (pp. 412\u2013417)."},{"issue":"3","key":"9072_CR7","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R Dechter","year":"1990","unstructured":"Dechter, R. (1990). Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41(3), 273\u2013312.","journal-title":"Artificial Intelligence"},{"key":"9072_CR8","unstructured":"Granvilliers, L. (2003). RealPaver user\u2019s manual, version 0.3. University of Nantes. www.sciences.-univ-nantes.fr\/info\/perso\/permanents\/granvil\/realpaver ."},{"issue":"1","key":"9072_CR9","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L Granvilliers","year":"2006","unstructured":"Granvilliers, L., & Benhamou, F. (2006). RealPaver: An interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software, 32(1), 138\u2013156.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"9072_CR10","doi-asserted-by":"crossref","unstructured":"Hoffmann, C., Lomonossov, A., & Sitharam, M. (1997). Finding solvable subsets of constraint graphs. In Proc. constraint programming CP\u201997 (pp. 463\u2013477).","DOI":"10.1007\/BFb0017460"},{"key":"9072_CR11","unstructured":"ILOG, Av. Galli\u00e9ni, Gentilly (2000). Ilog solver V. 5, users\u2019 reference manual."},{"key":"9072_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied interval analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., & Walter, E. (2001). Applied interval analysis. New York: Springer."},{"key":"9072_CR13","unstructured":"Jermann, C., Neveu, B., & Trombettoni, G. (2003). Algorithms for identifying rigid subsystems in geometric constraint systems. In Proc. IJCAI (pp. 233\u201338)."},{"key":"9072_CR14","unstructured":"Jermann, C., Neveu, B., & Trombettoni, G. (2003). Inter-Block backtracking: Exploiting the structure in continuous CSPs. In Proc. of 2nd int. workshop on global constrained optimization and constraint satisfaction (COCOS\u201903)."},{"issue":"5\u20136","key":"9072_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1142\/S0218195906002105","volume":"16","author":"C Jermann","year":"2006","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., & Mathis, P. (2006). Decomposition of geometric constraint systems: A survey. International Journal of Computational Geometry and Applications (IJCGA), 16(5\u20136), 379\u2013414.","journal-title":"International Journal of Computational Geometry and Applications (IJCGA)"},{"issue":"11","key":"9072_CR16","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"RS Latham","year":"1996","unstructured":"Latham, R. S., & Middleditch, A. E. (1996). Connectivity analysis: A tool for processing geometric constraints. Computer Aided Design, 28(11), 917\u2013928.","journal-title":"Computer Aided Design"},{"key":"9072_CR17","unstructured":"Lebbah, Y. (1999). Contribution \u00e0 la r\u00e9solution de contraintes par consistance forte. Ph.D. thesis, Universit\u00e9 de Nantes."},{"issue":"5","key":"9072_CR18","doi-asserted-by":"crossref","first-page":"2076","DOI":"10.1137\/S0036142903436174","volume":"42","author":"Y Lebbah","year":"2005","unstructured":"Lebbah, Y., Michel, C., Rueher, M., Daney, D., & Merlet, J. P. (2005) Efficient and safe global constraints for handling numerical constraint systems. SIAM Journal on Numerical Analysis, 42(5), 2076\u20132097.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"9072_CR19","unstructured":"Lhomme, O. (1993). Consistency techniques for numeric CSPs. In IJCAI (pp. 232\u2013238)."},{"key":"9072_CR20","unstructured":"McAllester, D. A. (1993). Partial order backtracking. Research note, artificial intelligence laboratory, MIT. ftp:\/\/ftp.ai.mit.edu\/people\/dam\/dynamic.ps ."},{"key":"9072_CR21","doi-asserted-by":"crossref","unstructured":"Merlet, J.-P. (2002). Optimal design for the micro parallel robot MIPS. In Proc. of IEEE international conference on robotics and automation, ICRA \u201902, Washington DC, USA (Vol. 2, pp.1149\u20131154).","DOI":"10.1109\/ROBOT.2002.1014698"},{"key":"9072_CR22","volume-title":"Interval methods for systems of equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A. (1990). Interval methods for systems of equations. Cambridge: Cambridge University Press."},{"key":"9072_CR23","doi-asserted-by":"crossref","unstructured":"Neveu, B., Jermann, C., & Trombettoni, G. (2005). Inter-Block backtracking: Exploiting the structure in continuous CSPs. In Selected papers in the 2nd int. worksh. on global constrained optimization and constraints, COCOS, LNCS (Vol. 3478, pp. 15\u201330).","DOI":"10.1007\/11425076_2"},{"key":"9072_CR24","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., & Chabert, G., (2007). Constructive interval disjunction. In Proc. of CP (pp. 635\u2013650).","DOI":"10.1007\/978-3-540-74970-7_45"},{"key":"9072_CR25","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. (1997). Numerica: A modeling language for global optimization. Cambridge: MIT."},{"key":"9072_CR26","doi-asserted-by":"crossref","unstructured":"Wilczkowiak, M., Trombettoni, G., Jermann, C., Sturm, P., & Boyer, E. (2003). Scene modeling based on constraint system decomposition techniques. In Proc. ICCV.","DOI":"10.1109\/ICCV.2003.1238458"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-009-9072-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-009-9072-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-009-9072-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:14:15Z","timestamp":1559229255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-009-9072-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,20]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["9072"],"URL":"https:\/\/doi.org\/10.1007\/s10601-009-9072-5","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5,20]]}}}