Logo des Repositoriums

Auflistung nach Schlagwort "MiniZinc"

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.