Logo des Repositoriums
 
Textdokument

Computing Treewidth with Constraint Programming

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Zusatzinformation

Datum

2022

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik, Bonn

Zusammenfassung

In this paper, we revisit a known SAT encoding for the fundamental combinatorial treewidth problem. Based on this encoding, we rework it within the constraint modeling language MiniZinc. Two MiniZinc encodings for treewidth are created and their performance is compared in an experimental evaluation. A further dimension for comparison is added by choosing between different backbone solvers supported by MiniZinc.

Beschreibung

Voboril, Florentina (2022): Computing Treewidth with Constraint Programming. SKILL 2022. Gesellschaft für Informatik, Bonn. PISSN: 1614-3213. ISBN: 978-3-88579-752-4. pp. 115-126. Theoretische Informatik. Hamburg. 29.-30. September 2022

Zitierform

DOI

Tags