Expansion-based QBF Solving on Tree Decompositions.

Günther Charwat Stefan Woltran

Published in: Fundam. Informaticae (2019)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
objective function
search algorithm
query processing
constraint satisfaction
combinatorial optimization
constraint networks