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

Heuristic Treedepth: PACE 2020

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