Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Ga{\'{e}}tan Berthe
Recent Publications
PACE Solver Description: Touiouidth
Ga{\'{e}}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
Full Publication List »
bib
×