Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Laure Morelle
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.
Cite
Project
DOI
Cite
×