A central issue in dealing with geometric constraint systems that arise in Computer Aided Design and Assembly is the generation
of an optimal decomposition recombination plan that is the foundation of an efficient solution of the constraint system. For the first time, in this paper, we formalize,
motivate and explain the optimal decomposition-recombination (DR) planning problem as a problem of finding a sequence of graph
transformations T
i, that maximizes an objective function subject to a certain criteria. We also give several performance measures phrased as
graph transformation properties by which DR-planning algorithms can be analyzed and compared. Using these perfomance measures
and formulation of the problem we develop a new DR-planner which represents a significant improvement over existing algorithms.
Supported in part by NSF Grants CDA 92-23502 and CCR 95-05745, and by ONR Contract N00014-96-1-0635.
Supported in part by NSF Grant CCR 94-09809.