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

Johannes Klaus Fichte Markus Hecher Michael Morak Stefan Woltran

Published in: IPEC (2017)

Keyphrases

tree decompositions
dynamic programming
constraint satisfaction problems
tree decomposition
state space
stereo matching
databases
linear programming
natural language
complexity bounds