{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:11Z","timestamp":1725470831386},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462675"},{"type":"electronic","value":"9783540462682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11889205_29","type":"book-chapter","created":{"date-parts":[[2006,9,28]],"date-time":"2006-09-28T12:07:42Z","timestamp":1159445262000},"page":"390-405","source":"Crossref","is-referenced-by-count":3,"title":["When Interval Analysis Helps Inter-block Backtracking"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Neveu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Chabert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: ICLP, pp. 230\u2013244 (1999)","key":"29_CR1"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-49481-2_9","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"C. Bliek","year":"1998","unstructured":"Bliek, C., Neveu, B., Trombettoni, G.: Using Graph Decomposition for Solving Continuous CSPs. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, pp. 102\u2013116. Springer, Heidelberg (1998)"},{"issue":"6","key":"29_CR3","doi-asserted-by":"publisher","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.: Geometric constraint solver. Computer Aided Design\u00a027(6), 487\u2013501 (1995)","journal-title":"Computer Aided Design"},{"unstructured":"Chabert, G.: Contributions \u00e1 la r\u00e9solution de Contraintes sur intervalles? Ph.D thesis, Universit\u00e9 de Nice\u2013Sophia Antipolis (2006) (to be defended)","key":"29_CR4"},{"unstructured":"Debruyne, R., Bessi\u00e8re, C.: Some Practicable Filtering Techniques for the Constraint Satisfaction Problem. In: Proc. of IJCAI, pp. 412\u2013417 (1997)","key":"29_CR5"},{"issue":"3","key":"29_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R. Dechter","year":"1990","unstructured":"Dechter, R.: Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence\u00a041(3), 273\u2013312 (1990)","journal-title":"Artificial Intelligence"},{"unstructured":"Granvilliers, L.: RealPaver User\u2019s Manual, version 0.3. University of Nantes (2003), Available at: www.sciences.univ-nantes.fr\/info\/perso\/permanents\/granvil\/realpaver","key":"29_CR7"},{"doi-asserted-by":"crossref","unstructured":"Granvilliers, L.: Realpaver: An interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software (accepted for publication)","key":"29_CR8","DOI":"10.1145\/1132973.1132980"},{"key":"29_CR9","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.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge (1997)"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/BFb0017460","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"C. Hoffmann","year":"1997","unstructured":"Hoffmann, C., Lomonossov, A., Sitharam, M.: Finding solvable subsets of constraint graphs. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, pp. 463\u2013477. Springer, Heidelberg (1997)"},{"unstructured":"ILOG, Av. Galli\u00e9ni, Gentilly. Ilog Solver V. 5, Users\u2019 Reference Manual (2000)","key":"29_CR11"},{"key":"29_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.: Applied Interval Analysis. Springer, Heidelberg (2001)"},{"unstructured":"Jermann, C., Neveu, B., Trombettoni, G.: Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems. In: Proc. IJCAI, pp. 233\u2013238 (2003)","key":"29_CR13"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/11425076_2","volume-title":"Global Optimization and Constraint Satisfaction","author":"B. Neveu","year":"2005","unstructured":"Neveu, B., Jermann, C., Trombettoni, G.: Inter-block Backtracking: Exploiting the Structure in Continuous CSPs. In: Jermann, C., Neumaier, A., Sam, D. (eds.) COCOS 2003. LNCS, vol.\u00a03478, pp. 15\u201330. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Mathis, P.: Decomposition of Geometric Constraint Systems: a Survey. Int. Journal of Computational Geometry and Applications (IJCGA)\u00a016 (2006)","key":"29_CR15","DOI":"10.1142\/S0218195906002105"},{"issue":"11","key":"29_CR16","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R.S. Latham","year":"1996","unstructured":"Latham, R.S., Middleditch, A.E.: Connectivity analysis: A tool for processing geometric constraints. Computer Aided Design\u00a028(11), 917\u2013928 (1996)","journal-title":"Computer Aided Design"},{"unstructured":"Lebbah, Y.: Contribution \u00e1 la r\u00e9solution de Contraintes par Consistance Forte. Ph.D thesis, Universit\u00e9 de Nantes (1999)","key":"29_CR17"},{"issue":"5","key":"29_CR18","doi-asserted-by":"publisher","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.: Efficient and safe global constraints for handling numerical constraint systems. SIAM Journal on Numerical Analysis\u00a042(5), 2076\u20132097 (2005)","journal-title":"SIAM Journal on Numerical Analysis"},{"unstructured":"Lhomme, O.: Consistency Tech. for Numeric CSPs. In: IJCAI, pp. 232\u2013238 (1993)","key":"29_CR19"},{"unstructured":"McAllester, D.A.: Partial order backtracking. Research Note, Artificial Intelligence Laboratory. MIT (1993), ftp:\/\/ftp.ai.mit.edu\/people\/dam\/dynamic.ps","key":"29_CR20"},{"unstructured":"Merlet, J.-P.: Optimal design for the micro robot. In: IEEE Int. Conf. on Robotics and Automation (2002)","key":"29_CR21"},{"key":"29_CR22","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"doi-asserted-by":"crossref","unstructured":"Wilczkowiak, M., Trombettoni, G., Jermann, C., Sturm, P., Boyer, E.: Scene Modeling Based on Constraint System Decomposition Tech. In: Proc. ICCV (2003)","key":"29_CR23","DOI":"10.1109\/ICCV.2003.1238458"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11889205_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:51:26Z","timestamp":1605642686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11889205_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462675","9783540462682"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11889205_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}