SMS in PACE 2020
arXiv:2006.07302 · doi:10.4230/LIPIcs.IPEC.2020.30
Abstract
We describe SMS, our submission to the exact treedepth track of PACE 2020. SMS computes the treedepth of a graph by branching on the small minimal separators of the graph.
arXiv comment3 pages, 3 appendix pages, 0 figures. Submitted as a solver description of a solver in Parameterized Algorithms and Computational Experiments Challenge 2020