Revisiting decomposition analysis of geometric constraint graphs

CAD Computer Aided Design

Volumn 36, Issue 2, 2004, Pages 123-140

  Joan Arinyo, R ^a   Soto Riera, A ^a   Vila Marta, S ^a   Vilaplana Pasto J ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Constraint solving; Geometric constraints; Graph based constraint solving

Indexed keywords

ALGORITHMS; COMPUTATIONAL GEOMETRY; GRAPH THEORY; PROBLEM SOLVING;

GEOMETRIC CONSTRAINT SOLVING (GCS);

CONSTRAINT THEORY;

EID: 0242405869     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0010-4485(03)00057-5     Document Type: Conference Paper

References (24)

1. Aho A.V., Hopcroft J.E., Ullman J.D. The design and analysis of computer algorithms. 1974;Addison-Wesley, Reading, MA.
2. Chartrand G., Lesniak L. Graphs and digraphs. 3rd ed :1996;Chapman and Hall, London.
3. Cundy H.M., Rollett A.P. Mathematical models. 2nd ed: 1961;Oxford University Press.
4. Durand C. Symbolic and numerical techniques for constraint solving. PhD thesis, Computer Science, Purdue University; December 1998.
5. Essert-Villard C., Schreck P., Dufourd J.-F. Skecth-based pruning of a solution space within a formal geometric constraint solver. Artif Intell. 124:2000;139-159.
6. Fudos I. Editable representations for 2D geometric design. Master's thesis, Purdue University, Department of Computer Sciences; 1993.
7. Fudos I. Constraint solving for computer aided design. PhD thesis, Purdue University, Department of Computer Sciences; 1995.
8. Fudos I., Hoffmann C.M. Correctness proof of a geometric constraint solver. Int J Comput Geometry Appl. 6:(4):1996;405-420.
9. Fudos I., Hoffmann C.M. A graph-constructive approach to solving systems of geometric constraints. ACM Trans Graph. 16:(2):1997;179-216.
10. Hoffmann C.M., Joan-Arinyo R. Handbook of computer aided geometric design, chapter parametric modeling. 2002;North-Holland, Amsterdam. p. 519-42.
11. Hoffmann C.M., Lomonosov A., Sitharam M. Decompostion plans for geometric constraint problems, Part II: new algorithms. J Symbolic Comput. 31:2001;409-427.
12. Hoffmann C.M., Lomonosov A., Sitharam M. Decompostion plans for geometric constraint systems, Part I: performance measurements for CAD. J Symbolic Comput. 31:2001;367-408.
13. Hopcroft JE, Tarjan RE. Dividing a graph into triconnected components. Technical Report, Computer Science Department. Cornell University, Ithaca, NY, USA; February 1974.
14. Joan-Arinyo R., Luzón M.V., Soto A. Constructive geometric constraint solving: a new application of genetic algorithms. Merelo J.J., Adamis P., Beyer H.G., Frenández-Vilacañas J.L., Schwefel H.P. Parallel problem solving from nature - PPSN VII, LNCS 2439. 7th Intenational Conference. 2002;759-768 Springer, Berlin.
15. Joan-Arinyo R., Soto A. A correct rule-based geometric constraint solver. Comput Graph. 21:(5):1997;599-609.
16. Joan-Arinyo R., Soto-Riera A. Combining constructive and equational geometric constraint solving techniques. ACM Trans Graph. 18:(1):1999;35-55.
17. Joan-Arinyo R., Soto-Riera A., Vila-Marta S., Vilaplana J. On the domain of constructive geometric constraint solving techniques. Duricovic S., Czanner S. Spring Conference on Computer Graphics, Budmerice, Slovakia. 2001;49-54 IEEE Computer Society, Los Alamitos, CA.
18. Joan-Arinyo R., Soto-Riera A., Vila-Marta S., Vilaplana J. Declarative characterization of a general architecture for constructive geometric constraint solvers. Plemenos D. The Fifth International Conference on Computer Graphics and Artificial Intelligence, Limoges, France. 2002;63-76 Université de Limoges.
19. Laman G. On graphs and rigidity of plane skeletal structures. J Engng Math. 4:(4):1970;331-340.
20. Manna Z., Waldinger R. The deductive foundations of computer programming. 1993;Addison Wesley, Reading, MA.
21. Mata N. Solving incidence and tangency constraints in 2D. Technical Report LSI-97-3R, Department LiSI, Universitat Politècnica de Catalunya; 1997.
22. Miller G.L., Ramachandran V. A new graph triconnectivity algorithm and its parallelization. Combinatorica. 12:1992;53-76.
23. Owen J.C. Algebraic solution for geometry from dimensional constraints. Rossignac R., Turner J. Symposium on solid modeling foundations and CAD/CAM applications, Austin, TX, June 5-7 1991. 1991;397-407 ACM Press, New York.
24. Todd P. A k-tree generalization that characterizes consistency of dimensioned engineering drawings. SIAM J Disc Math. 2:(2):1989;255-261.