PACE Solver Description: Touiouidth

Berthe, Gaétan; Coudert-Osmont, Yoann; Dobler, Alexander; Morelle, Laure; Reinald, Amadeus; Rocton, Mathis

doi:10.4230/LIPICS.IPEC.2023.38

by Gaétan Berthe, Yoann Coudert-Osmont, Alexander Dobler, Laure Morelle, Amadeus Reinald, Mathis Rocton

Reference:

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

Bibtex Entry:

@inproceedings{bcdmrr-psdt-23,
	Author = {Ga{\'{e}}tan Berthe and Yoann Coudert{-}Osmont and Alexander Dobler and Laure Morelle and Amadeus Reinald and Mathis Rocton},
	Title = {{PACE} Solver Description: Touiouidth},
	Booktitle = {Parameterized and Exact Computation (IPEC'2023)},
	Year = {2023},
    Editor = {Neeldhara Misra and Magnus Wahlstr{\"{o}}m},
    Volume = {285},
    Pages = {38:1--38:4},
    Series = {LIPIcs},
    Publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    Doi = {10.4230/LIPICS.IPEC.2023.38},
	keywords = {LINORD}
}