{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:50Z","timestamp":1725494210490},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_2","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:16:33Z","timestamp":1194264993000},"page":"16-25","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Hybrid Method for Solving Geometric Constraint Problems"],"prefix":"10.1007","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei-Dong","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kun","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0004-3702(97)00070-2","volume":"99","author":"J.-F. Dufourd","year":"1998","unstructured":"Dufourd, J.-F., Mathis, P., and Schreck, P.: Geometric Construction by Assembling Solved Subfigures. Artificial Intelligence, 99(1998), 73\u2013119.","journal-title":"Artificial Intelligence"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/248210.248223","volume":"16","author":"I. Fudos","year":"1997","unstructured":"Fudos, I. and Hoffmann, C. M.: A Graph-Constructive Approach to Solving Systems of Geometric Constraints. ACM Transactions on Graphics, 16(1997), 179\u2013216.","journal-title":"ACM Transactions on Graphics"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X.-S. Gao","year":"1998","unstructured":"Gao, X.-S. and Chou, S.-C.: Solving Geometric Constraint Systems I. A Global Propagation Approach. Computer Aided Design, 30(1998), 47\u201354.","journal-title":"Computer Aided Design"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X.-S. Gao","year":"1998","unstructured":"Gao, X.-S. and Chou, S.-C.: Solving Geometric Constraint Systems II. A Symbolic Approach and Decision of Rc-constructibility. Computer Aided Design, 30(1998), 115\u2013122.","journal-title":"Computer Aided Design"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/S0010-4485(99)00074-3","volume":"31","author":"J.-X. Ge","year":"1999","unstructured":"Ge, J.-X., Chou, S.-C., and Gao, X.-S.: Geometric Constraint Satisfaction Using Optimization Methods. Computer Aided Design, 31(1999), 867\u2013879.","journal-title":"Computer Aided Design"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/0221008","volume":"21","author":"B. Hendrickson","year":"1992","unstructured":"Hendrickson, B.: Conditions for Unique Realizations. SIAM J. Computing, 21 (1992), 65\u201384.","journal-title":"SIAM J. Computing"},{"unstructured":"Heydon, A. and Nelson, G.: The Juno-2 Constraint-Based Drawing Editor. SRC Research Report\n                        131a (1994).","key":"2_CR7"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","first-page":"163","volume-title":"Finding Solvable Subsets of Constraint Graphs","author":"C. M. Hoffmann","year":"1997","unstructured":"Hoffmann, C. M., Lomonosov, A., and Sitharam, M.: Finding Solvable Subsets of Constraint Graphs. LNCS, vol. 1330, Springer-Verlag, Berlin Heidelberg (1997), 163\u2013197."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/300776.300780","volume":"18","author":"T. Joan-Arinyo","year":"1999","unstructured":"Joan-Arinyo, T. and Soto-Riera, A.: Combining Constructive and Educational Geometric Constraint-Solving Techniques. ACM Trans. on Graphics, 18(1999), 35\u201355.","journal-title":"ACM Trans. on Graphics"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","volume":"24","author":"K. Kondo","year":"1992","unstructured":"Kondo, K.: Algebraic Method for Manipulation of Dimensional Relationships in Geometric Models. Computer Aided Design, 24(1992), 141\u2013147.","journal-title":"Computer Aided Design"},{"key":"2_CR11","volume-title":"Solving Geometric Constraint Systems","author":"G. Kramer","year":"1992","unstructured":"Kramer, G.: Solving Geometric Constraint Systems. MIT Press, Cambridge (1992)."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2945.489384","volume":"2","author":"H. Lamure","year":"1996","unstructured":"Lamure, H. and Michelucci, D.: Solving Geometric Constraints by Homotopy. IEEE Trans on Visualization and Computer Graphics, 2(1996), 28\u201334.","journal-title":"IEEE Trans on Visualization and Computer Graphics"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R. S. Latheam","year":"1994","unstructured":"Latheam, R. S. and Middleditch, A. E.: Connectivity Analysis: A Tool for Processing Geometric Constraints. Computer Aided Design, 28(1994), 917\u2013928.","journal-title":"Computer Aided Design"},{"key":"2_CR14","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-47997-X_13","volume-title":"Automated Deduction in Geometry","author":"Y. Lee","year":"1999","unstructured":"Lee, J. Y.: A 2D Geometric Constraint Solver for Parametric Design Using Graph Reduction and Analysis. Automated Deduction in Geometry, LNAI, vol. 1669, Springer-Verlag, Berlin Heidelberg (1999), 258\u2013274."},{"key":"2_CR15","first-page":"208","volume":"14","author":"R. Light","year":"1982","unstructured":"Light, R. and Gossard, D.: Modification of Geometric Models Through Variational Geometry. Geometric Aided Design, 14(1982), 208\u2013214.","journal-title":"Geometric Aided Design"},{"key":"2_CR16","first-page":"379","volume-title":"Proc. 1st Symp. Solid Modeling Foundations & CAD\/CAM Applications","author":"J.-C. Owen","year":"1991","unstructured":"Owen, J.-C.: Algebraic Solution for Geometry from Dimensional Constraints. Proc. 1st Symp. Solid Modeling Foundations & CAD\/CAM Applications, ACM Press, New York (1991), 379\u2013407."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","volume":"24","author":"A. Verroust","year":"1992","unstructured":"Verroust, A., Schonek, F., and Roller, D.: Rule-Oriented Method for Parameterized Computer-Aided Design. Computer Aided Design, 24(1992), 531\u2013540.","journal-title":"Computer Aided Design"},{"unstructured":"Sunde, G.: Specification of Shape by Dimensions and Other Geometric Constraints. Geometric Modeling for CAD Applications, M. J. Wozny et al., eds., North Holland (1988), 199\u2013213.","key":"2_CR18"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-7091-6604-8_8","volume-title":"Automated Practical Reasoning: Algebraic Approaches","author":"D. Wang","year":"1995","unstructured":"Wang, D.: Reasoning about Geometric Problems Using an Elimination Method. Automated Practical Reasoning: Algebraic Approaches, Pfalzgraf, J. and Wang, D., eds., Springer, Wien New York (1995), 147\u2013185."},{"key":"2_CR20","volume-title":"Mechanical Theorem Proving in Geometries:Basic Principles","author":"W.-T. Wu","year":"1994","unstructured":"Wu, W.-T.: Mechanical Theorem Proving in Geometries:Basic Principles. Springer-Verlag, Wien New York (1994)."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:53:58Z","timestamp":1558277638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}