PACE Solver Description: Touiouidth

Gaétan Berthe, Yoann Coudert‐Osmont, Alexander Dobler, Laure Morelle, Amadeus Reinald, Mathis Rocton · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2023

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

Read the paper · More papers on PaperTik