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

Johannes Klaus Fichte Neha Lodha Stefan Szeider

Published in: SAT (2017)

Keyphrases

tree decompositions
tree decomposition
answer set programming
constraint satisfaction problems
databases
logic programs
query optimization
sat solvers
decomposition method