Module Graph__Md
Minimum Degree algorithm
Based on the article: The Minimum Degree Heuristic and the Minimal Triangulation Process by A. Berry, Pinar Heggernes & Geneviève Simonet.
- author
- Matthieu Sozeau
- author
- Pierre-Loic Garoche
module P : functor (G : Graph.Sig.P) -> sig ... end
module I : functor (G : Graph.Sig.I) -> sig ... end