Login / Signup
Combining Treewidth and Backdoors for CSP.
Robert Ganian
M. S. Ramanujan
Stefan Szeider
Published in:
CoRR (2016)
Keyphrases
</>
tree decompositions
constraint satisfaction problems
constraint graph
boolean functions
constraint satisfaction
space complexity
arc consistency
search space
satisfiability problem
non binary
sat solvers
constraint propagation
bounded treewidth
hidden structure
discrete random variables