Combinatorial Optimization on Graphs of Bounded Treewidth | Synapse