Exact Treedepth Solver based on Minimal Separator Enumeration
-
Updated
Dec 17, 2020 - C++
Exact Treedepth Solver based on Minimal Separator Enumeration
Compute the exact treedepth of a given graph
Add a description, image, and links to the treedepth topic page so that developers can more easily learn about it.
To associate your repository with the treedepth topic, visit your repo's landing page and select "manage topics."