Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology
Markus Hecher, Patrick Thier, Stefan Woltran
Topics & Concepts
Computer scienceTreewidthParameterized complexityAbstractionTheoretical computer scienceInterleavingBinary decision diagramSatisfiabilityImplementationDynamic programmingSearch treeTree decompositionProgramming languageAlgorithmSearch algorithmGraphPhilosophyPathwidthEpistemologyOperating systemLine graphAdvanced Graph Theory ResearchFormal Methods in VerificationConstraint Satisfaction and Optimization