Logo des Repositoriums

S18 - SKILL 2022 - Studierendenkonferenz Informatik

https://dl.gi.de/handle/20.500.12116/40229
Auflistung nach:

Auflistung S18 - SKILL 2022 - Studierendenkonferenz Informatik nach Schlagwort "Constraint Programming"

1 - 1 von 1
  • Textdokument
    Computing Treewidth with Constraint Programming
    (SKILL 2022, 2022) Voboril, Florentina
    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.