PACE Solver Description: Touiouidth

Abstract

Full Citation:

Ga'etan Berthe, Yoann Coudert-Osmont, Alexander Dobler, Laure Morelle, Amadeus Reinald, Mathis Rocton. PACE Solver Description: Touiouidth. Parameterized and Exact Computation (IPEC'2023) (Neeldhara Misra and Magnus Wahlström), volume 285 of LIPIcs, pages 38:1-38:4, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Mathis Teva Rocton
Mathis Teva Rocton

Mathis Teva Rocton is a Project Assistant at the Algorithms and Complexity Group.