SAT-Based Local Improvement for Finding Tree Decompositions of Small Width.

Johannes Klaus Fichte, Neha Lodha, Stefan Szeider

Browse the full SAT paper archive.