Record link: 
http://hdl.handle.net/20.500.12708/192837
-
Title: 
PACE Solver Description: Touiouidth
en
Citation: 
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
-
Publisher DOI: 
10.4230/LIPIcs.IPEC.2023.38
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Berthe, Gaétan 
Codert-Osman, Yoann 
Dobler, Alexander 
Morelle, Laure 
Reinald, Amadeus 
Rocton, Mathis 
-
Organisational Unit: 
E192 - Institut für Logic and Computation 
-
Published in: 
18th International Symposium on Parameterized and Exact Computation (IPEC 2023) 
-
ISBN: 
9783959773058
-
Volume: 
285
-
Date (published): 
13-Dec-2023
-
Event name: 
18th International Symposium on Parameterized and Exact Computation (IPEC 2023) 
en
Event date: 
6-Sep-2023 - 8-Sep-2023
-
Event place: 
Amsterdam, Netherlands (the)
-
Number of Pages: 
4
-
Publisher: 
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
-
Peer reviewed: 
Yes
-
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
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

53
checked on Jan 26, 2024

Google ScholarTM

Check