A 2D geometric constraint solver using a graph reduction method
decomposition-recombination (DR) planning
scientific article; zbMATH DE number 5810882