PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth
- Publication date
- 1 January 2020
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)