Published July 15, 2020
| Version v2.0b
Software
Open
aditya95sriram/td-slim: Public Release
Creators
Description
SAT-based Local Improvement Method for Treedepth
Files
aditya95sriram/td-slim-v2.0b.zip
Files
(24.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ecb44c30eaa946351949e0259468783b
|
24.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/aditya95sriram/td-slim/tree/v2.0b (URL)