{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:02Z","timestamp":1725551222764},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435938"},{"type":"electronic","value":"9783540460800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46080-2_16","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:26Z","timestamp":1269882806000},"page":"151-160","source":"Crossref","is-referenced-by-count":1,"title":["Helping the Designer in Solution Selection: Applications in CAD"],"prefix":"10.1007","author":[{"given":"Caroline","family":"Essert-Villard","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Anderl, R. and Mendgen, R.: Parametric design and its impact on solid modeling applications. In proceedings of 3rd ACM\/IEEE Symposium on Solid Modeling and Applications, ACM Press (1995) 1\u201312","DOI":"10.1145\/218013.218018"},{"key":"16_CR2","unstructured":"Dufourd, J.-F. and Mathis, P. and Schreck, P.: Formal resolution of geometric constraint systems by assembling. In proceedings of the ACM-Siggraph Solid Modelling Conference, ACM Press (1997) 271\u2013284"},{"key":"16_CR3","unstructured":"Sohrt, W. and Br\u00fcderlin, B.: Interaction with Constraints in 3D Modeling. In proceedings of Symposium on Solid Modeling Foundations and CAD\/CAM Applications, ACM Press (1991) 387\u2013396"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Owen, J.: Algebraic solution for geometry from dimensional constraints. In proceedings of the 1st ACM Symposium of Solid Modelling and CAD\/CAM Applications, ACM Press (1991) 397\u2013407","DOI":"10.1145\/112515.112573"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","volume":"20","author":"B. Aldefeld","year":"1988","unstructured":"Aldefeld, B.: Variations of geometries based on a geometric-reasoning method. Computer-Aided Design, Elsevier Science (1988) 20(3):117\u2013126","journal-title":"Computer-Aided Design, Elsevier Science"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0004-3702(00)00061-8","volume":"124","author":"C. Essert-Villard","year":"2000","unstructured":"Essert-Villard, C. and Schreck, P. and Dufourd, J.-F.: Sketch-based pruning of a solution space within a formal geometric constraint solver. Artificial Intelligence, Elsevier Science (2000) 124:139\u2013159","journal-title":"Artificial Intelligence, Elsevier Science"},{"issue":"6","key":"16_CR7","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. and Fudos, I. and Hoffmann, C. and Cai, J. and Paige, R.: Geometric constraint solver. Computer-Aided Design, Elsevier Science (1995) 27(6):487\u2013501","journal-title":"Computer-Aided Design, Elsevier Science"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Lamure, H. and Michelucci, D.: Solving Constraints Systems by Homotopy. In proceedings of 3rd ACM\/IEEE Symposium on Solid Modeling and Applications, ACM Press (1995) 263\u2013269","DOI":"10.1145\/218013.218071"},{"key":"16_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-45349-0_18","volume-title":"In proceedings of CP2000","author":"C. Jermann","year":"2000","unstructured":"Jermann, C. and Trombettoni, G. and Neveu, B. and Rueher, M.: A Constraint Programming Approach for Solving Rigid Geometric Systems. In proceedings of CP2000, Springer LNCS 1894 (2000) 233\u2013248"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46080-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:04:41Z","timestamp":1551078281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46080-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435938","9783540460800"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-46080-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}