PACE 2020 exact treedepth submission: sms

2020-06-02, 2020-06-02
software
Zenodo
Submission to the exact treedepth track of PACE 2020 by Tuukka Korhonen (University of Helsinki). The submission is based on an algorithm that branches on (small) minimal separators and thus is named sms.
https://doi.org/10.5281/zenodo.3872898
PACE 2020, treedepth, minimal separators, sms


: