{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:12Z","timestamp":1725558972637},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260035"},{"type":"electronic","value":"9783540320418"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11425076_2","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T14:27:56Z","timestamp":1279031276000},"page":"15-30","source":"Crossref","is-referenced-by-count":3,"title":["Inter-block Backtracking: Exploiting the Structure in Continuous CSPs"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Neveu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Jermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Ait-Aoudia, S., Jegou, R., Michelucci, D.: Reduction of constraint systems. In: Compugraphic (1993)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-49481-2_9","volume-title":"Principles and Practice of Constraint Programming, CP 1998","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":"2_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"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional System Theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B.: An algebraic method in ideal theory. In: Multidimensional System Theory, pp. 184\u2013232. Reidel Publishing Co., Dordrecht (1985)"},{"key":"2_CR5","volume-title":"2nd International Workshop on Automated Deduction in Geometry","author":"B. Mourrain","year":"1999","unstructured":"Mourrain, B., Bondyfalat, D., Papadopoulo, T.: An application of automatic theorem proving in computer vision. In: 2nd International Workshop on Automated Deduction in Geometry. Springer, Heidelberg (1999)"},{"issue":"3","key":"2_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"},{"key":"2_CR7","unstructured":"Durand, C.: Symbolic and Numerical Techniques For Constraint Solving. PhD thesis, Purdue University (1998)"},{"key":"2_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica : A Modeling Language for Global Optimization","author":"P. Van Hentenryck","year":"1997","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge (1997)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Hoffmann, C., Lomonossov, A., Sitharam, M.: Finding solvable subsets of constraint graphs. In: Proc. Constraint Programming, CP 1997, pp. 463\u2013477 (1997)","DOI":"10.1007\/BFb0017460"},{"key":"2_CR10","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)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45349-0_18","volume-title":"Principles and Practice of Constraint Programming, CP 2000","author":"C. Jermann","year":"2000","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Rueher, M.: A constraint programming approach for solving rigid geometric systems. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 233\u2013248. Springer, Heidelberg (2000)"},{"key":"2_CR12","first-page":"1840","volume":"198","author":"E. Lahaye","year":"1934","unstructured":"Lahaye, E.: Une m\u00e9thode de r\u00e9solution d\u2019une cat\u00e9gorie d\u2019\u00e9quations transcendantes. Compte-rendu des S\u00e9ances de L\u2019Acad\u00e9mie des Sciences\u00a0198, 1840\u20131842 (1934)","journal-title":"Compte-rendu des S\u00e9ances de L\u2019Acad\u00e9mie des Sciences"},{"issue":"11","key":"2_CR13","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"},{"key":"2_CR14","unstructured":"Lhomme, O.: Consistency techniques for numeric csps. In: IJCAI, pp. 232\u2013238 (1993)"},{"key":"2_CR15","unstructured":"McAllester, D.A.: Partial order backtracking. Research Note, Artificial Intelligence Laboratory, MIT (1993), ftp:\/\/ftp.ai.mit.edu\/people\/dam\/dynamic.ps"},{"key":"2_CR16","unstructured":"Merlet, J.-P.: Optimal design for the micro robot. In: IEEE Int. Conf. on Robotics and Automation (2002)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1007\/978-3-540-45193-8_86","volume-title":"Proc. International Conference on Constraint Programming, CP 2003","author":"G. Trombettoni","year":"2003","unstructured":"Trombettoni, G., Wilczkowiak, M.: Scene Reconstruction based on Constraints: Details on the Equation System Decomposition. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 956\u2013961. Springer, Heidelberg (2003)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Wilczkowiak, M., Trombettoni, G., Jermann, C., Sturm, P., Boyer, E.: Scene Modeling Based on Constraint System Decomposition Techniques. In: Proc. International Conference on Computer Vision, ICCV 2003 (2003)","DOI":"10.1109\/ICCV.2003.1238458"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W. Wu","year":"1986","unstructured":"Wu, W.: Basic principles of mechanical theorem proving in elementary geometries. J. Automated Reasoning\u00a02, 221\u2013254 (1986)","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Global Optimization and Constraint Satisfaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11425076_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:55:11Z","timestamp":1605642911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11425076_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260035","9783540320418"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11425076_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}