Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.

Markus Hecher, Patrick Thier, Stefan Woltran

Browse the full SAT paper archive.