Gaétan Berthe

Recent Publications

PACE Solver Description: Touiouidth
Gaétan Berthe, Yoann Coudert{-}Osmont, Alexander Dobler, Laure Morelle, Amadeus Reinald, Mathis Teva Rocton
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.
bib Project DOI