mit-licenseTuukka Korhonen2025-04-292020-06-022020-06-02https://datakatalogi.helsinki.fi/handle/123456789/6728Submission 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.PACE 2020treedepthminimal separatorssmssoftware