PACE Solver Description: Touiouidth

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

doi:10.4230/LIPIcs.IPEC.2023.38

Retour

Acte de colloque

PACE Solver Description: Touiouidth

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

Leibniz International Proceedings in Informatics (LIPIcs), Vol.285(38), pp.38:1-38:4

Leibniz International Proceedings in Informatics (LIPIcs)

IPEC 2023 - 18th International Symposium on Parameterized and Exact Computation (Amsterdam, Netherlands, 06/09/2023–08/09/2023)

2023

DOI: https://doi.org/10.4230/LIPIcs.IPEC.2023.38

Résumé

Twinwidth

Pace Challenge

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++.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: PACE Solver Description: Touiouidth
Créateurs - sans rôle: Gaétan Berthe - Algorithmes, Graphes et Combinatoire
Yoann Coudert-Osmont - Structurer des formes géométriques
Alexander Dobler - Algorithmes, Graphes et Combinatoire
Laure Morelle - Algorithmes, Graphes et Combinatoire
Amadeus Reinald - Algorithmes, Graphes et Combinatoire
Mathis Rocton - École Normale Supérieure de Lyon
Détails de publication: Leibniz International Proceedings in Informatics (LIPIcs), Vol.285(38), pp.38:1-38:4
Colloque: IPEC 2023 - 18th International Symposium on Parameterized and Exact Computation (Amsterdam, Netherlands, 06/09/2023–08/09/2023)
Publications en série: Leibniz International Proceedings in Informatics (LIPIcs)
Identifiants: 9939783409311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: hal-04395895