Combining Treewidth and Backdoors for CSP.

Robert Ganian M. S. Ramanujan Stefan Szeider

Published in: STACS (2017)

Keyphrases

tree decompositions
constraint graph
constraint satisfaction problems
search space
constraint propagation
constraint satisfaction
boolean functions
hidden structure
upper bound
decomposition methods
bayesian networks
databases
np hard
space complexity
constraint solving
tree decomposition
neural network