Jdrasil: a modular library for computing tree decompositions

DOI10.4230/LIPICS.SEA.2017.28MaRDI QIDQ4580187zbMATH OpenOpenAlexFDO

Authors Max Bannach, Sebastian Berndt, Thorsten Ehlers

Publication date 13 August 2018

Full work available at URL https://doi.org/10.4230/LIPIcs.SEA.2017.28

zbMATH Keywords

tree widthexperimental evaluationalgorithmic library

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Algorithms in computer science (68W99) Software, source code, etc. for problems pertaining to computer science (68-04)

Recommendations

• Computing tree width: from theory to practice and back
• Treewidth computations. I: Upper bounds
• \textsc{ToTo}: an open database for computation, storage and retrieval of tree decompositions
• Practical access to dynamic programming on tree decompositions
• Faster computation of path-width

Cited in

(13)

• Practical access to dynamic programming on tree decompositions
• The PACE 2017 parameterized algorithms and computational experiments challenge: the second iteration
• Practical access to dynamic programming on tree decompositions
• On integer linear programs for treewidth based on perfect elimination orderings
• Jdrasil
• Generating random instances of weighted model counting. An empirical analysis with varying primal treewidth
• The tree-width of C
• The PACE 2018 parameterized algorithms and computational experiments challenge: the third iteration
• \textsc{ToTo}: an open database for computation, storage and retrieval of tree decompositions
• Computing optimal hypertree decompositions with SAT
• Computing tree width: from theory to practice and back
• On integer linear programs for treewidth based on perfect elimination orderings (extended version)
• Decoding tree decompositions from permutations

Describes a project that uses

Uses Software

• BZTreewidth
• Plingeling
• CPLEX

This page was built for publication: Jdrasil: a modular library for computing tree decompositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580187)