mit-licenseTuukka Korhonen2025-03-242020-06-022020-06-02https://hydatakatalogi-test-24.it.helsinki.fi/handle/123456789/11512Submission 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.OpenPACE 2020treedepthminimal separatorssmssoftware