DynASP2.5: Dynamic Programming on Tree Decompositions in Action.

Johannes Klaus Fichte Markus Hecher Michael Morak Stefan Woltran

Published in: Algorithms (2021)

Keyphrases

tree decompositions
dynamic programming
constraint satisfaction problems
tree decomposition
state space
linear programming
worst case
stereo matching
complexity bounds
constraint satisfaction
parallel processing
single machine
constraint propagation