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
To associate your repository with the treedepth topic, visit your repo's landing page and select "manage topics."