{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:06Z","timestamp":1725455886424},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637530"},{"type":"electronic","value":"9783540696421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0017460","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:22:46Z","timestamp":1132644166000},"page":"463-477","source":"Crossref","is-referenced-by-count":28,"title":["Finding solvable subsets of constraint graphs"],"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":[[2005,6,10]]},"reference":[{"key":"36_CR1","unstructured":"S. Ait-Aoudia, R. Jegou, and D. Michelucci. Reduction of constraint systems. In Compugraphics, pages 83\u201392, 1993."},{"key":"36_CR2","doi-asserted-by":"crossref","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":"36_CR3","unstructured":"S. C. Chou, X. S. Gao, and J. Z. Zhang. A method of solving geometric constraints. Technical report, Wichita State University, Dept. of Computer Sci., 1996."},{"key":"36_CR4","unstructured":"G. Crippen and T. Havel. Distance Geometry and Molecular Conformation. John Wiley & Sons, 1988."},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1137\/0204043","volume":"3","author":"S. Even","year":"1975","unstructured":"S. Even and R. Tarjan. Network flow and testing graph connectivity. SIAM journal on computing, 3:507\u2013518, 1975.","journal-title":"SIAM journal on computing"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"L.R. Ford and D.R. Fulkerson. Flows in Networks. Princeton Univ. Press, 1962.","DOI":"10.1515\/9781400875184"},{"key":"36_CR7","unstructured":"I. Fudos. Geometric Constraint Solving. PhD thesis, Purdue University, Dept of Computer Science, 1995."},{"key":"36_CR8","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0010-4485(95)00037-2","volume":"28","author":"I. Fudos","year":"1996","unstructured":"I. Fudos and C. M. Hoffmann. Constraint-based parametric conics for CAD. Computer Aided Design, 28:91\u2013100, 1996.","journal-title":"Computer Aided Design"},{"key":"36_CR9","doi-asserted-by":"crossref","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":"36_CR10","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, page in press, 1997.","DOI":"10.1145\/248210.248223"},{"key":"36_CR11","doi-asserted-by":"crossref","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":"36_CR12","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'Rourke, editors, CRC Handbook on Discrete and Computational Geometry. CRC Press, Boca Raton, FL, 1997."},{"key":"36_CR13","unstructured":"C. M. Hoffmann and J. Peters. Geometric constraints for CAGD. In M. Daehlen, T. Lyche, and L. Schumaker, editors, Mathematical Methods fot Curves and Surfaces, pages 237\u2013254. Vanderbilt University Press, 1995."},{"key":"36_CR14","doi-asserted-by":"crossref","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":"36_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. World Scientific Publishing, 1994. second edition.","DOI":"10.1142\/9789812831699_0008"},{"key":"36_CR16","volume-title":"Workshop on Computational Kinematics","author":"C. M. Hoffmann","year":"1995","unstructured":"Christoph M. Hoffmann and Pamela J. Vermeer. A spatial constraint problem. In Workshop on Computational Kinematics, France, 1995. INRIA Sophia-Antipolis."},{"key":"36_CR17","unstructured":"Ching-Yao Hsu. Graph-based approach for solving geometric constraint problems. PhD thesis, University of Utah, Dept. of Comp. Sci., 1996."},{"key":"36_CR18","doi-asserted-by":"crossref","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":"36_CR19","unstructured":"E. Lawler. Combinatorial optimization, networks and Matroids. Holt, Rinehart and Winston, 1976."},{"key":"36_CR20","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":"36_CR21","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":"36_CR22","unstructured":"T.L. Magnanti, R.K. Ahuja and J.B. Orlin. Network Flows. Prentice-Hall, 1993."},{"key":"36_CR23","doi-asserted-by":"crossref","unstructured":"Dieter Roller. Dimension-Driven geometry in CAD: a Survey. In Theory and Practice of Geometric Modeling, pages 509\u2013523. Springer Verlag, 1989.","DOI":"10.1007\/978-3-642-61542-9_32"},{"key":"36_CR24","first-page":"281","volume":"28","author":"O. E. Ruiz","year":"1996","unstructured":"O. E. Ruiz and P. M. Ferreira. Algebraic geometry and group theory in geometric constraint satisfaction for computer-aided design and assembly planning. IIE Transactions on Design and Manufacturing, 28:281\u2013294, 1996.","journal-title":"IIE Transactions on Design and Manufacturing"},{"key":"36_CR25","doi-asserted-by":"crossref","unstructured":"P. Vermeer. Assembling objects through parts correlation. In Proc. 13th Symp on Comp Geometry, Nice, France, 1997.","DOI":"10.1145\/262839.263014"},{"key":"36_CR26","first-page":"25","volume":"20","author":"W. Wunderlich","year":"1965","unstructured":"W. Wunderlich. Starre, kippende, wackelige and bewegliche Achtflache. Elemente der Mathematik, 20:25\u201348, 1965.","journal-title":"Elemente der Mathematik"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming-CP97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:53:30Z","timestamp":1586573610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637530","9783540696421"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0017460","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}