Treewidthlib
From MaRDI portal
Software:21218
swMATH9228MaRDI QIDQ21218FDOQ21218
Author name not available (Why is that?)
Cited In (13)
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- Speeding Up Dynamic Programming with Representative Sets
- Speeding up dynamic programming with representative sets: an experimental evaluation of algorithms for Steiner Tree on tree decompositions
- Treewidth computations. II. Lower bounds
- Encoding Treewidth into SAT
- Treewidth lower bounds with brambles
- On the maximum cardinality search lower bound for treewidth
- Experimental Evaluation of a Branch-and-Bound Algorithm for Computing Pathwidth and Directed Pathwidth
- Treewidth computations. I: Upper bounds
- A cubic kernel for feedback vertex set and loop cutset
- A SAT Approach to Branchwidth
- Finding Good Decompositions for Dynamic Programming on Dense Graphs
- Graph-based knowledge representation. Computational foundations of conceptual graphs
This page was built for software: Treewidthlib
