{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:27Z","timestamp":1725486087552},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410539"},{"type":"electronic","value":"9783540453499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45349-0_18","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T20:54:55Z","timestamp":1181163295000},"page":"233-248","source":"Crossref","is-referenced-by-count":6,"title":["A Constraint Programming Approach for Solving Rigid Geometric Systems"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Jermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Neveu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"18_CR1","unstructured":"Samy Ait-Aoudia, Roland Jegou, and Dominique Michelucci. Reduction of constraint systems. In Compugraphic, 1993."},{"key":"18_CR2","unstructured":"F. Benhamou, D. McAllester, and P. Van Hentenryck. Clp(intervals) revisited. In Proc. Logic Programming, MIT Press, 1994."},{"issue":"6","key":"18_CR3","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W. Bouma","year":"1995","unstructured":"William Bouma, Ioannis Fudos, Christoph Hoffmann, Jiazhen Cai, and Robert Paige. Geometric constraint solver. Computer Aided Design, 27(6):487\u2013501, 1995.","journal-title":"Computer Aided Design"},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-49481-2_9","volume-title":"Principles and Practice of Constraint Programming, CP\u201998","author":"C. Bliek","year":"1998","unstructured":"Christian Bliek, Bertrand Neveu, and Gilles Trombettoni. Using graph decomposition for solving continuous csps. In Principles and Practice of Constraint Programming, CP\u201998, volume 1520 of LNCS, pages 102\u2013116. Springer, 1998."},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0004-3702(97)00070-2","volume":"99","author":"J.-F. Dufourd","year":"1998","unstructured":"Jean-Fran\u00e7ois Dufourd, Pascal Mathis, and Pascal Schreck. Geometric construction by assembling subfigures. Artificial Intelligence, 99:73\u2013119, 1998.","journal-title":"Artificial Intelligence"},{"key":"18_CR6","volume-title":"Technical Report TR-CSD-93-076","author":"I. Fudos","year":"1993","unstructured":"Iaonnis Fudos and Christoph Hoffmann. Correctness proof of a geometric constraint solver. Technical Report TR-CSD-93-076, Purdue University, West Lafayette, Indiana, 1993."},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/248210.248223","volume":"16","author":"I. Fudos","year":"1997","unstructured":"Iaonnis Fudos and Christoph Hoffmann. A graph-constructive approach to solving systems of geometric constraints. ACM Transactions on Graphics, 16(2):179\u2013216, 1997.","journal-title":"ACM Transactions on Graphics"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/0221008","volume":"21","author":"B. Hendrickson","year":"1992","unstructured":"Bruce Hendrickson. Conditions for unique realizations. SIAM J Computing, 21(1):65\u201384, 1992.","journal-title":"SIAM J Computing"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Christoph Hoffmann, Andrew Lomonosov, and Meera Sitharam. Finding solvable subsets of constraint graphs. In Proc. Constraint Programming CP\u201997, pages 463\u2013477, 1997.","DOI":"10.1007\/BFb0017460"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Christoph Hoffmann, Andrew Lomonosov, and Meera Sitharam. Geometric constraint decomposition. In B. Br\u00fcderlin and D. Roller, editors, Geometric Constraint Solving and Applications, pages 170\u2013195. Springer, 1998.","DOI":"10.1007\/978-3-642-58898-3_9"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Pascal Van Hentenryck, Laurent Michel, and Yves Deville. Numerica: A Modeling Language for Global Optimization. MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"C. M. Hoffmann and P. J. Vermeer. A spatial constraint problem. In J.-P. Merlet and B. Ravani, editors, Computational Kinematics\u201995, pages 83\u201392. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-94-011-0333-6_9"},{"key":"18_CR13","unstructured":"ILOG. Ilog solver reference manual. Technical report, ILOG, 1998."},{"issue":"3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/300776.300780","volume":"18","author":"R. Joan-Arinyo","year":"1999","unstructured":"R. Joan-Arinyo and A. Soto-Riera. Combining constructive and equational constraint solving techniques. ACM Transactions on Graphics, 18(3):35\u201355, 1999.","journal-title":"ACM Transactions on Graphics"},{"key":"18_CR15","volume-title":"Technical Report 00-43","author":"C. Jermann","year":"2000","unstructured":"Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, and Michel Rueher. A constraint programming approach for solving rigid geometric systems. Technical Report 00-43, University of Nice, France, 2000."},{"key":"18_CR16","unstructured":"G. Kramer. Solving Geometric Constraint Systems. MIT Press, 1992."},{"key":"18_CR17","unstructured":"O. Lhomme. Consistency techniques for numeric csps. In Proc. IJCAI, Chambery, France, 1993."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Herv\u00e9 Lamure and Dominique Michelucci. Qualitative study of geometric constraints. In Beat Bruderlin and Dieter Roller, editors, Geometric Constraint Solving and Applications, pages 234\u2013258. Springer, 1998.","DOI":"10.1007\/978-3-642-58898-3_12"},{"issue":"6","key":"18_CR19","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","volume":"24","author":"A. Verroust","year":"1992","unstructured":"A. Verroust, F. Schonek, and D. Roller. Rule oriented method for parametrized computer aided design. Computer Aided Design, 24(6):531\u2013540, 1992.","journal-title":"Computer Aided Design"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45349-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:40:48Z","timestamp":1556466048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45349-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410539","9783540453499"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45349-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}