-
2
-
-
0022764858
-
Snap-dragging
-
Bier, E A and Stone, M C 'Snap-dragging' SIGGRAPH'86 Vol 20 No 4 (1986) pp 233-240
-
(1986)
SIGGRAPH'86
, vol.20
, Issue.4
, pp. 233-240
-
-
Bier, E.A.1
Stone, M.C.2
-
3
-
-
15444368801
-
Embedding of weighted graphs in k-space is strongly NP-hard
-
Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA
-
Saxe, J B 'Embedding of weighted graphs in k-space is strongly NP-hard' Technical Report Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA (1979)
-
(1979)
Technical Report
-
-
Saxe, J.B.1
-
5
-
-
0001116807
-
A tree generalization that characterizes consistency of dimensioned engineering drawings
-
Todd, P 'A tree generalization that characterizes consistency of dimensioned engineering drawings' SIAM J. Disc. Math. Vol 2 No 2 (1989) pp 255-261
-
(1989)
SIAM J. Disc. Math.
, vol.2
, Issue.2
, pp. 255-261
-
-
Todd, P.1
-
7
-
-
84976722628
-
The programming language aspects of ThingLab, a constraint-oriented simulation laboratory
-
Borning, A H 'The programming language aspects of ThingLab, a constraint-oriented simulation laboratory' ACM Trans. Programming Languages and Systems Vol 3 No 4 (1981) pp 353-387
-
(1981)
ACM Trans. Programming Languages and Systems
, vol.3
, Issue.4
, pp. 353-387
-
-
Borning, A.H.1
-
8
-
-
0022184370
-
Constraint and declarative languages for engineering applications: The TK!Solver contribution
-
Konopasek, M and Jayaraman, S 'Constraint and declarative languages for engineering applications: The TK!Solver contribution' Proc. IEEE Vol 73 No 12 (1985) pp 1791-1806
-
(1985)
Proc. IEEE
, vol.73
, Issue.12
, pp. 1791-1806
-
-
Konopasek, M.1
Jayaraman, S.2
-
9
-
-
0041527596
-
Algebraic constraints
-
(PhD Thesis) Carnegie-Mellon University, Pittsburgh May
-
Gosling, J 'Algebraic constraints' CMU Technical Report CS-83-132 (PhD Thesis) Carnegie-Mellon University, Pittsburgh (May 1983)
-
(1983)
CMU Technical Report CS-83-132
-
-
Gosling, J.1
-
11
-
-
0020161702
-
Modification of geometric models through variational geometry
-
Light, R and Gossard, D 'Modification of geometric models through variational geometry' Comput.-Aided Des. Vol 14 No 4 (1982) pp 209-214
-
(1982)
Comput.-Aided Des.
, vol.14
, Issue.4
, pp. 209-214
-
-
Light, R.1
Gossard, D.2
-
14
-
-
0000985088
-
A geometric constraint engine
-
Kramer, G A 'A geometric constraint engine' Artificial Intelligence Vol 58 (1992) pp 327-360
-
(1992)
Artificial Intelligence
, vol.58
, pp. 327-360
-
-
Kramer, G.A.1
-
15
-
-
0029326172
-
Geometric constraint solver
-
Bouma, W, Fudos, I, Hoffmann, C. Cai, J and Paige, R 'Geometric constraint solver' Comput.-Aided Des. Vol 27 No 6 (1995) pp 487-501
-
(1995)
Comput.-Aided Des.
, vol.27
, Issue.6
, pp. 487-501
-
-
Bouma, W.1
Fudos, I.2
Hoffmann, C.3
Cai, J.4
Paige, R.5
-
18
-
-
0042028739
-
Constraints on simple geometry in two and three dimensions
-
Nov
-
Owen, J C 'Constraints on simple geometry in two and three dimensions' 3rd SIAM Conf. Geometric Design (Nov 1993)
-
(1993)
3rd SIAM Conf. Geometric Design
-
-
Owen, J.C.1
-
19
-
-
84976860725
-
Constraint hierarchies
-
Oct
-
Borning, A, Duisberg, R, Freeman-Benson, B, Kramer, A and Woolf, M 'Constraint hierarchies' OOPSLA'87 Proc. (Oct 1987) pp 48-60
-
(1987)
OOPSLA'87 Proc.
, pp. 48-60
-
-
Borning, A.1
Duisberg, R.2
Freeman-Benson, B.3
Kramer, A.4
Woolf, M.5
-
20
-
-
0024982391
-
An incremental constraint solver
-
Freeman-Benson, B N, Maloney, J and Borning, A 'An incremental constraint solver' Comm. ACM Vol 33 No 1 (1990) pp 54-63
-
(1990)
Comm. ACM
, vol.33
, Issue.1
, pp. 54-63
-
-
Freeman-Benson, B.N.1
Maloney, J.2
Borning, A.3
-
23
-
-
0043030469
-
Connectivity analysis and constraint processing
-
Brunel University
-
Latham, R S 'Connectivity analysis and constraint processing' Technical Report BRU/CAE/95:1 Brunel University (1995)
-
(1995)
Technical Report BRU/CAE/95:1
-
-
Latham, R.S.1
-
25
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
Tarjan, R 'Depth-first search and linear graph algorithms' SIAM J. Comput. Vol 1 No 2 (1972) pp 146-160
-
(1972)
SIAM J. Comput.
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.1
|