Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/192837
-
Titel: 
PACE Solver Description: Touiouidth
en
Zitat: 
Berthe, G., Codert-Osman, Y., Dobler, A., Morelle, L., Reinald, A., & Rocton, M. (2023). PACE Solver Description: Touiouidth. In N. Misra & M. Wahlström (Eds.), 18th International Symposium on Parameterized and Exact Computation (IPEC 2023) (pp. 38:1-38:4). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.IPEC.2023.38
-
Verlags-DOI: 
10.4230/LIPIcs.IPEC.2023.38
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Berthe, Gaétan 
Codert-Osman, Yoann 
Dobler, Alexander 
Morelle, Laure 
Reinald, Amadeus 
Rocton, Mathis 
-
Organisations­einheit: 
E192 - Institut für Logic and Computation 
-
Erschienen in: 
18th International Symposium on Parameterized and Exact Computation (IPEC 2023) 
-
ISBN: 
9783959773058
-
Band: 
285
-
Datum (veröffentlicht): 
13-Dez-2023
-
Veranstaltungs­name: 
18th International Symposium on Parameterized and Exact Computation (IPEC 2023) 
en
Veranstaltungs­zeitraum: 
6-Sep-2023 - 8-Sep-2023
-
Veranstaltungs­ort: 
Amsterdam, Niederlande (die)
-
Umfang: 
4
-
Verlag: 
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
Keywords: 
Pace Challenge; Twinwidth
en
Abstract: 
We describe Touiouidth, a twin-width solver for the exact-track of the 2023 PACE Challenge: Twin Width. Our solver is based on a simple branch and bound algorithm with search space reductions and is implemented in C++.
en
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

136
aufgerufen am 26.01.2024

Google ScholarTM

Check