Decomposition plans for geometric constraint problems, part II: new algorithms
        
        
            
            
            
            
            
            
            Christoph M Hoffmann
            
            
            
            , 
            
            
            
            
            
            
            
            Andrew Lomonosov
            
            
            
            , 
            
            
            
            and 
            
            
            
            
            
            Meera Sitharam
            
            
            
            
        
        
        
            Journal of Symbolic Computation - 2001
            
        
        
        
            Journal of Symbolic Computation - 2001
        
        
        ---. “Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms.” Journal of Symbolic Computation, vol. 31, no. 4, 2001, pp. 409–27, https://doi.org/10.1006/jsco.2000.0403.
        @article{hoffmann2001decomposition2,
  title = {Decomposition plans for geometric constraint problems, part II: new algorithms},
  author = {Hoffmann, Christoph M and Lomonosov, Andrew and Sitharam, Meera},
  journal = {Journal of Symbolic Computation},
  volume = {31},
  number = {4},
  pages = {409--427},
  year = {2001},
  publisher = {Elsevier},
  doi = {10.1006/jsco.2000.0403},
  pdf = {Hoffmann-Journal_of_Symbolic_Computation-2001-Decomposition_Plans_Geometric_Constraint_System_part_II.pdf}
}