References & Citations
Computer Science > Data Structures and Algorithms
Title: SMS in PACE 2020
(Submitted on 12 Jun 2020)
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.
Link back to: arXiv, form interface, contact.