Treewidthlib
From MaRDI portal
Cited in
(16)- Autowrite
- GeoSteiner
- ComputeTW
- Speeding up dynamic programming with representative sets: an experimental evaluation of algorithms for Steiner Tree on tree decompositions
- A SAT approach to branchwidth
- Speeding up dynamic programming with representative sets. An experimental evaluation of algorithms for Steiner Tree on tree decompositions
- Finding good decompositions for dynamic programming on dense graphs
- Encoding Treewidth into SAT
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- Experimental evaluation of a branch-and-bound algorithm for computing pathwidth and directed pathwidth
- Treewidth computations. II. Lower bounds
- Treewidth lower bounds with brambles
- Graph-based knowledge representation. Computational foundations of conceptual graphs
- Treewidth computations. I: Upper bounds
- A cubic kernel for feedback vertex set and loop cutset
- On the maximum cardinality search lower bound for treewidth
This page was built for software: Treewidthlib
