{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:10:54Z","timestamp":1737609054157,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676584"},{"type":"electronic","value":"9783540451044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45104-8_25","type":"book-chapter","created":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T22:57:00Z","timestamp":1194476220000},"page":"309-324","source":"Crossref","is-referenced-by-count":3,"title":["Planning Geometric Constraint Decomposition via Optimal Graph Transformations"],"prefix":"10.1007","author":[{"given":"Christoph M.","family":"Hoffmann","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Lomonosov","sequence":"additional","affiliation":[]},{"given":"Meera","family":"Sitharam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"25_CR1","unstructured":"S. Ait-Aoudia, R. Jegou, and D. Michelucci. Reduction of constraint systems. In Compugraphics, pages 83\u201392, 1993."},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W. Bouma","year":"1995","unstructured":"W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. A geometric constraint solver. Computer Aided Design, 27:487\u2013501, 1995.","journal-title":"Computer Aided Design"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"B. Bruderlin and R. Roller eds. Geometric constraint solving and applications. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-642-58898-3"},{"key":"25_CR4","unstructured":"G. Crippen and T. Havel. Distance Geometry and Molecular Conformation. John Wiley & Sons, 1988."},{"key":"25_CR5","unstructured":"I. Fudos. Geometric Constraint Solving. PhD thesis, Purdue University, Dept of Computer Science, 1995."},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1142\/S0218195996000253","volume":"6","author":"I. Fudos","year":"1996","unstructured":"I. Fudos and C. M. Hoffmann. Correctness proof of a geometric constraint solver. Intl. J. of Computational Geometry and Applications, 6:405\u2013420, 1996.","journal-title":"Intl. J. of Computational Geometry and Applications"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"I. Fudos and C. M. Hoffmann. A graph-constructive approach to solving systems of geometric constraints. ACM Trans on Graphics, pages 179\u2013216, 1997.","DOI":"10.1145\/248210.248223"},{"key":"25_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/BFb0017402","volume-title":"Use graph grammars to design cad-systems!","author":"H. Gottler","year":"1991","unstructured":"H. Gottler, J. Gunther, and G. Nieskens. Use graph grammars to design cad-systems! In Lect. Notes in CS, Vol 532, pages 396\u2013410. Springer-Verlag, 1991."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"J. Hastad. Clique is hard to approximate within n 1\u2212\u03b5 . In Proceedings of Foundations of Computer Science, pages 627\u2013636. IEEE press, 1996.","DOI":"10.1109\/SFCS.1996.548522"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/S0747-7171(08)80120-4","volume":"11","author":"T. Havel","year":"1991","unstructured":"T. Havel. Some examples of the use of distances as coordinates for Euclidean geometry. J. of Symbolic Computation, 11:579\u2013594, 1991.","journal-title":"J. of Symbolic Computation"},{"key":"25_CR11","first-page":"863","volume-title":"CRC Handbook on Discrete and Computational Geometry","author":"C. M. Hoffmann","year":"1997","unstructured":"C. M. Hoffmann. Solid modeling. In J. E. Goodman and J. O\u2019Rourke, editors, CRC Handbook on Discrete and Computational Geometry, pages 863\u2013880. CRC Press, Boca Raton, FL, 1997."},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/2945.489381","volume":"2","author":"C. M. Hoffmann","year":"1996","unstructured":"C. M. Hoffmann and J. Rossignac. A road map to solid modeling. IEEE Trans. Visualization and Comp. Graphics, 2:3\u201310, 1996.","journal-title":"IEEE Trans. Visualization and Comp. Graphics"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Christoph M. Hoffmann, Andrew Lomonosov, and Meera Sitharam. Finding solvable subsets of constraint graphs. In Constraint Programming\u2019 97, pages 463\u2013477, Linz, Austria, 1997.","DOI":"10.1007\/BFb0017460"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Christoph M. Hoffmann, Andrew Lomonosov, and Meera Sitharam. Decomposition of geometric constraints systems: Part i and part ii. In Manuscript submitted to a journal, University of Florida technical report, pages 1\u201351, 1998.","DOI":"10.1007\/978-3-642-58898-3_9"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Christoph M. Hoffmann and Pamela J. Vermeer. Geometric constraint solving in R 2 and R 3. In D. Z. Du and F. Hwang, editors, Computing in Euclidean Geometry, pages 266\u2013298. World Scientific Publishing, 1994. second edition.","DOI":"10.1142\/9789812831699_0008"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Christoph M. Hoffmann and Pamela J. Vermeer. A spatial constraint problem. In Workshop on Computational Kinematics, pages 83\u201392, France, 1995. INRIA Sophia-Antipolis.","DOI":"10.1007\/978-94-011-0333-6_9"},{"key":"25_CR17","unstructured":"Ching-Yao Hsu. Graph-based approach for solving geometric constraint problems. PhD thesis, University of Utah, Dept. of Comp. Sci., 1996."},{"key":"25_CR18","unstructured":"G. Kramer. Solving Geometric Constraint Systems. MIT Press, 1992."},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R. Latham","year":"1996","unstructured":"R. Latham and A. Middleditch. Connectivity analysis: a tool for processing geometric constraints. Computer Aided Design, 28:917\u2013928, 1996.","journal-title":"Computer Aided Design"},{"key":"25_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/BFb0025715","volume-title":"A tutorial and bibliographical survey on graph grammars","author":"M. Nagl","year":"1979","unstructured":"M. Nagl. A tutorial and bibliographical survey on graph grammars. In Lect. Notes in CS, Vol 73, pages 70\u2013126. Springer-Verlag, 1979."},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"J. Owen. Algebraic solution for geometry from dimensional constraints. In ACM Symp. Found. of Solid Modeling, pages 397\u2013407, Austin, Tex, 1991.","DOI":"10.1145\/112515.112573"},{"key":"25_CR22","unstructured":"J. Owen. Constraints on simple geometry in two and three dimensions. In Third SIAM Conference on Geometric Design. SIAM, November 1993. To appear in Int J of Computational Geometry and Applications."},{"key":"25_CR23","unstructured":"J.A. Pabon. Modeling method for sorting dependencies among geometric entities. In US States Patent 5,251,290, Oct 1993."},{"key":"25_CR24","series-title":"Lect Notes Comput Sci","first-page":"290","volume-title":"Graph-theoretic concepts in computer science","author":"D. Ruland","year":"1986","unstructured":"Detlev Ruland. Edm\u2014a data model for electronic cad\/cam-applications. In Gottfried Tinhofer and Gnther Schmidt, editors, Graph-theoretic concepts in computer science, volume 246, pages 290\u2013305. Lecture Notes in Computer Science, Springer-Verlag, 1986."},{"key":"25_CR25","series-title":"Lect Notes Comput Sci","first-page":"63","volume-title":"Graph-theoretic concepts in computer science","author":"D. Ruland","year":"1989","unstructured":"Detlev Ruland. Cadula\u2014a graph-based model for monitoring cad-processes. In M. Nagl, editor, Graph-theoretic concepts in computer science, volume 411, pages 63\u201377. Lecture Notes in Computer Science, Springer-Verlag, 1989."},{"key":"25_CR26","unstructured":"D. Serrano. Managing constraints in concurrent design: first steps. In Proc. Computers in Engineering, pages 159\u2013164, Boston, MA, 1990."},{"key":"25_CR27","unstructured":"D. Serrano and D.C. Gossard. Combining mathematical models with geometric models in cae systems. In Proc. Computers in Engineering, pages 903\u2013909, Chicago, IL, 1986."}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45104-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T04:55:29Z","timestamp":1737521729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45104-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676584","9783540451044"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45104-8_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}