Minimization of graphs termination detection
Minimization of graphs termination detection is not well implemented leading to long minimization times when the original graph is large
Minimization of graphs termination detection is not well implemented leading to long minimization times when the original graph is large