K. Ruben Brokkelkamp, Raymond van Venetië, Mees J. de Vries, Jan Westerdiep. PACE Solver Description: tdULL. In Yixin Cao 0001, Marcin Pilipczuk, editors, 15th International Symposium on Parameterized and Exact Computation, IPEC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference). Volume 180 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.