Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams.

Gnther Charwat, Stefan Woltran

Browse the full LPNMR paper archive.