Decomposition plans for geometric constraint systems, part I: Performance measures for CAD
        
        
            
            
            
            
            
            
            Christoph M Hoffmann
            
            
            
            , 
            
            
            
            
            
            
            
            Andrew Lomonosov
            
            
            
            , 
            
            
            
            and 
            
            
            
            
            
            Meera Sitharam
            
            
            
            
        
        
        
            Journal of Symbolic Computation - 2001
            
        
        
        
            Journal of Symbolic Computation - 2001
        
        
        Hoffmann, Christoph M., et al. “Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD.” Journal of Symbolic Computation, vol. 31, no. 4, 2001, pp. 367–408, https://doi.org/10.1006/jsco.2000.0402.
        @article{hoffmann2001decomposition1,
  title = {Decomposition plans for geometric constraint systems, part I: Performance measures for CAD},
  author = {Hoffmann, Christoph M and Lomonosov, Andrew and Sitharam, Meera},
  journal = {Journal of Symbolic Computation},
  volume = {31},
  number = {4},
  pages = {367--408},
  year = {2001},
  publisher = {Elsevier},
  doi = {10.1006/jsco.2000.0402},
  pdf = {Hoffmann-Journal_of_Symbolic_Computation-2001-Decomposition_Plans_Geometric_Constraint_System_part_I.pdf}
}