Expansion-based QBF Solving on Tree Decompositions.

Günther Charwat Stefan Woltran

Published in: RCRA@AI*IA (2017)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
databases
complexity bounds
quantified boolean formulas