This is a problem with limited submission frequency. After each submission you will have to wait 1 minute before you can submit it again.

Heuristic Treedepth: PACE 2020 LITE

By Program Committee Łukasz Kowalik (chair), Marcin Mucha, Wojciech Nadara, Marcin Pilipczuk, Manuel Sorge, Piotr Wygocki