Employing Massive Parallelism in Digital ATPG Algorithms. - Glenn A. Kramer (ITC, 1983)

Solving Geometric Constraint Systems. - Glenn A. Kramer (AAAI, 1990)

Using degrees of freedom analysis to solve geometric constraint systems. - Glenn A. Kramer (Symposium on Solid Modeling and Applications, 1991)

Solving geometric constraint systems - a case study in kinematics. - Glenn A. Kramer (MIT Press, 1992)

A Geometric Constraint Engine. - Glenn A. Kramer (Artif. Intell., 1992)

Comments on Prolegomena e by Sacks and Doyle. - Glenn A. Kramer (Comput. Intell., 1992)

Synthesis of mechanical linkages using artificial neural networks and optimization. - Josiah C. Hoskins; Glenn A. Kramer (ICNN, 1993)

Exploiting Constraint Dependency Information For Debugging and Explanation. - Walid T. Kerrouz; Glenn A. Kramer; Jahir Pabon (PPCP, 1993)

Solving geometric constraint systems a case study in kinematics. - Glenn A. Kramer (Comput. Aided Des., 1993)

Planning from First Principles for Geometric Constraint Satisfaction. - Sanjay Bhansali; Glenn A. Kramer (AAAI, 1994)

A SHAREd Web to support design teams. - Vinay Kumar; Jay Glicksman; Glenn A. Kramer (WETICE, 1994)

Assembly modelling by geometric constraint satisfaction. - Ram Anantha; Glenn A. Kramer; Richard H. Crawford (Comput. Aided Des., 1996)

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction. - Sanjay Bhansali; Glenn A. Kramer; Tim J. Hoar (J. Artif. Intell. Res., 1996)