Making constraint solvers more usable: Overconstraint problem

CAD Computer Aided Design

Volumn 36, Issue 4, 2004, Pages 377-399

  Hoffmann, Christoph M ^a   Sitharam, Meera ^b   Yuan, Bo ^a  

^a PURDUE UNIVERSITY   (United States)

^b UNIVERSITY OF FLORIDA   (United States)

Author keywords

Conflicting constraints; Geometric constraint solving; Inconsistent specifications; Overconstrained problem; Redundant constraints

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; DECOMPOSITION; GRAPH THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING; PRODUCT DESIGN;

CONFLICTING CONSTRAINTS; GEOMETRIC CONSTRAINT SOLVING; INCONSISTENT SPECIFICATIONS; OVERCONSTRAINED PROBLEM; REDUNDANT CONSTRAINTS;

COMPUTER AIDED DESIGN;

EID: 1642567923     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0010-4485(03)00099-X     Document Type: Article

References (41)

1. Ait-Aoudia S., Jegou R., Michelucci D. Reduction of constraint systems. Compugraphics. 1993;83-92.
2. Bouma W., Fudos I., Hoffmann C.M., Cai J., Paige R. A geometric constraint solver. CAD. 27:1995;487-501.
3. Bruderlin B. Constructing three-dimensional geometric object defined by constraints. Implementing FRONTIER: a geometric constraint solver. Master's Thesis. Technical report, University of Florida, CISE Department; 2001.
4. Fudos I. Constraint solving for computer aided design. PhD Thesis. Department of Computer Sciences, Purdue University; August 1995.
5. Fudos I., Hoffmann C.M. Correctness proof of a geometric constraint solver. J Comput Geometry Appl. 6:1996;405-420.
6. Fudos I., Hoffmann C.M. A graph-constructive approach to solving systems of geometric constraints. ACM Trans Graphics. 16:1997;179-216.
7. Gao X.S., Chou S.C. Solving geometric constraint systems. I. A global propagation approach. CAD. 30:1998;47-54.
8. Gao X.S., Chou S.C. Solving geometric constraint systems. II. A symbolic approach and decision of re-constructibility. CAD. 30:1998;115-122.
9. Hoffmann C.M., Chiang C.S. Variable-redius circles in cluster merging. Part I. Translational clusters. CAD. 33:2003;. in press.
10. Hoffmann C.M., Joan-Arinyo R. Symbolic constraints in geometric constraint solving. J Symbolic Comput. 23:1997;287-300.
11. Hoffmanm C.M., Lomonosov A., Sitharam M. Smolka G. Finding solvable subsets of constraint graphs. LNCS 1330. 1997;463-477 Springer, New York.
12. Hoffmann C.M., Lomonosov A., Sitharam M. Geometric constraint decomposition. Bruderlin B., Roller D. Geometric constraints solving and applications. 1998;170-195.
13. Hoffmann C.M., Lomonosov A., Sitharam M. Decomposition plans for geometric constraint problems. Part I. Performance measures for CAD. JSC. 31:2001;367-408.
14. Hoffmann C.M., Lomonosov A., Sitharam M. Decomposition plans for geometric constraint problems. Part II. New algorithms. JSC. 31:2001;409-428.
15. Hoffmann C.M., Lomonosov A., Sitharam M. Nagl, Schurr, Munch. Planning geometric constraint decompositions via graph transformations. AGTIVE'99 (Graph Transformations with Industrial Relevance), Springer lecture notes, LNCS 1779. 1999;309-324.
16. Hofmann C.M., Peters J. Geometric constraints for CAGD. Daehlen M., Lyche T., Schumaker L. Mathematical methods for curves and surfaces. 1995;237-254.
17. 3 . Du D.Z., Hwang F. Computing in Eucliden geometry. 1995;266-298.
18. Hoffmann C.M., Yuan B. On spatial constraint solving approaches. Proceedings of ADG 2000, ETH Zurich. 2003.
19. Kramer G. Solving geometric constraint systems: a case study in kinematics. 1992;MIT Press, Cambridge.
20. Kramer G. Solving geometric constraint systems. 1992;MIT Press, Cambridge.
21. Latham R.S., Middleditch A.E. Connectivity analysis: a tool for processing geometric constraints. CAD. 28:1996;917-928.
22. Middleditch A., Reade C. A kernel for geometric features. ACM/SIGGRAPH Symposium on Solid Modeling Foundations and CAD/CAM Applications. 1997.
23. Nelson G.J. A constraint-based graphics system. ACM/SIGGRAPH. 1985;235-243.
24. Pabon JA. Modeling method for sorting dependencies among geometric entities. US States Patent 5, 251, 290; Oct 1993.
25. Oung JJ, Sitharam M. A fast, simple solver for constraints without parameters. Technical report, University of Florida, CISE Department; 2001.
26. Oung JJ. Implementation of a geometric constraint solve: FRONTIER. Master's Thesis. Technical report, University of Florida, CISE Department; 2001.
27. Owen J. Algebraic solution for geometry from dimensional constraints. ACM Symposium on Foundations of Solid Modeling, Austin, TX. 1991;. p. 397-407.
28. Owen J. Constraints on simple geometry in two and three dimensions. In Third SIAM conference on Geometric Design. SIAM, November 1993. To appear in Int J Comput Geometry Appl.
29. Owen J. Constraints on simple geometry in two and three dimensions. In Third SIAM conference on Geometric Design. SIAM, November 1993. To appear in Int J Comput Geometry Appl.
30. D-Cubed. Commercial Constraint Solver. In http://www.d-cubed.com.
31. Roller D. An approach to computer-aided parametric design. CAD. 23:1991;303-324.
32. Sitharam M., Oung J., Arbree A., Kohareswaran N. FRONTIER: enabling constraints for feature-based modeling and assembly. Abstract in ACM-Solid Modeling. 2001.
33. Sitharam M, Oung J, Arbree A, Kohareswaran N. FRONTIER, a 3d geometric constraint solver. Part I. Contributions and design. Submitted. Condensed version in http://www.cise.ufl.edu/(sitharam/full-frontier.pdf .
34. Sitharam M, Oung J, Arbree A, Kohareswaran N. FRONTIER, a 3d geometric constraint solver. Part II. Algorithms. Submitted. Condensed version in http://www.cise.ufl.edu/(sitharam/full-frontier.pdf.
35. Sitharam M. GNU Public License: FRONTIER, a 3d geometric constraint solver. http://www.cise.ufl.edu/̃sitharam.
36. Sitharam M, Hoffmann CM. The general geometric overconstraint problem. In preparation.
37. Sridhar N., Agrawal R., Kinzel G.L. An active occurrence-matrix based approach to design decomposition. CAD. 25:1993;500-512.
38. Sridhar N., Agrawal R., Kinzel G.L. Algorithms for the structural diagnosis and decomposition of sparse, underconstrained design systems. CAD. 28:1995;237-249.
39. Todd P. a k-tree generalization that characterizes consistency of dimensional engineering drawings. SIAM J Discrete Math. 2:1989;255-261.
40. Gossard D.C., Lin V., Light R. Variational geometry in computer-aided design. ACM SIGGRAPH. 1981;171-179.
41. Yuan B. Research and implementation of geometric constraint solving technology. PhD Thesis. Department of Computer Science and Technology, Tsinghua University, China; November 1999.