Voboril, FlorentinaGesellschaft für Informatik e.V.2023-02-212023-02-212022978-3-88579-752-4https://dl.gi.de/handle/20.500.12116/40231In 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.enTreewidthSATConstraint ProgrammingMiniZinc1614-3213