A Graph-Constructive Approach to Solving Systems of Geometric Constraints

A Graph-Constructive Approach to Solving Systems of Geometric Constraints (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Ioannis Fudos , Christoph M. Hoffmann

Venue:	ACM TRANSACTIONS ON GRAPHICS
Citations:	46 - 1 self

BibTeX

@ARTICLE{Fudos97agraph-constructive,
    author = {Ioannis Fudos and Christoph M. Hoffmann},
    title = {A Graph-Constructive Approach to Solving Systems of Geometric Constraints},
    journal = {ACM TRANSACTIONS ON GRAPHICS},
    year = {1997},
    volume = {16},
    number = {2},
    pages = {179--216}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

2172	The design and analysis of computer algorithms - Aho, Hopcroft, et al. - 1974
801	Depth-first search and linear graph algorithms - Tarjan - 1972
723	Rewrite systems - Dershowitz, Jouannaud - 1990
466	Sketchpad: A man-machine graphical communications system - Sutherland - 1963
331	The complexity of satisfiability problems - Schaefer - 1978
325	On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines - Blum, Shub, et al. - 1989
149	Distance Geometry and Molecular Conformation. Research Studies - Crippen, Havel - 1988
140	Dividing a Graph into Triconnected Components - E, Tarjan - 1973
73	Algebraic solution for geometry from dimensional constraints - Owen - 1991
67	Tree-manipulating systems and Church-Rosser theorems - Rosen - 1973
64	Rodeh, Finding a minimum circuit in a graph - Itai, Michael - 1978
53	Geometric constraint solver - Bouma, Fudos, et al. - 1995
38	R.: EREP: an editable high-level representation for geometric design and analysis - Hoffmann, Juan - 1992
37	Modification of geometric models through variational constraints, Computer Aided Design 14 - Light, Gossard - 1982
36	Solving Geometric Constraint Systems (A case study in kinematics - Kramer - 1992
35	Depth- rst search and linear graph algorithms - Tarjan - 1972
30	Correctness proof of a geometric constraint solver - Fudos, Hoffmann - 1996
29	Algebraic Constraints - Gosling - 1983
26	Constraints on simple geometry in two and three dimensions. Geometric constraints: theory and practice - Owen - 1993
22	Variation of Geometries Based on a Geometric-Reasoning Method - Aldefeld - 1988
22	a constraint-based graphics system - Nelson, Juno - 1985
20	Constructing Three�Dimensional Geometric Objects De� �ned by Constraints - Bruderlin - 1986
19	Juno, a Constraint-Based Graphics System - Nelson - 1985
19	Speci�cation of shape by dimensions and other geometric constraints - Sunde
15	On the semantics of generative geometry representations - Hoffmann - 1993
14	oriented method for parameterized computer-aided design. Computer Aided Design 1992;24�10):531±40. Yan-Tao Li is a PhD student in the Department of Computer Science - Verroust, Schonec, et al. - 1990
13	Editable representations for 2d geometric design - Fudos - 1993
12	On digital nondeterminism - Cucker, Matamala - 1996
11	On combinatorial structures of line drawings of polyhedra - Imai - 1985
10	A structural characterization of planar combinatorial graphs - MacLane - 1937
10	Dimension-driven geometry in CAD : a survey, in Theory on practice of geometric Modeling - ROLLER, SCHONEK, et al. - 1990
8	Shortest-path problems and molecular conformation - Dress, Havel - 1988
7	Constraint solving for computer aided design - Fudos - 1995
6	The complexity of determining a shortest cycle of even length - Monien
6	Detection of structural inconsistency in systems of equations with degrees of freedom and its applications - Sugihara - 1985
4	A rule�constructive geometric constraint solver - Juan�Arinyo, Soto - 1995
4	A constraint modeling system for variational geometry - Yamaguchi, Kimura - 1990
4	The complexity of satis�ability problems - Schaefer - 1978
3	Variation of geometries based on a geometricreasoning method - SUZUKI, ANDO, et al. - 1990
2	A Geometric Constraint Solver - Cai�, Paige - 1995
1	Systems of Geometric Constraints • 215 - AIT-AOUDIA, JEGOU, et al. - 1993
1	Combining mathematical models and geometric models in CAE systems - Serrano, Gossard - 1986
1	Reduction of constraint sys� tems - Jegou�, Michelucci - 1993
1	On a theory of computation and com� plexity over the real numbers� NP�completeness� recursive functions and universal machines - Schub�, Smale - 1989
1	Correctness Proof of a Geo� metric Constraint solver - Fudos, Ho�mann - 1995
1	13� Ioannis Fudos. Constraint Solving for Computer Aided Design - Computers, Intractability - 1995
1	On the semantics of generative geometry representations - G - 1956
1	EREP � An Editable High�Level Represen� tation for Geometric Design and Analysis - Ho�mann, Juan - 1993
1	Dividing a graph into triconnected com� ponents - Hopcroft, Tarjan - 1973