Submission to this problem is temporarily disabled. Please, try again later.

Heuristic Treedepth: PACE 2020

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