Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size.

Philippe Jégou Hanan Kanso Cyril Terrioux

Published in: CP (2016)

Keyphrases

constraint satisfaction problems
tree decomposition
hypertree decomposition
computational complexity
constraint satisfaction
search algorithm
denoising
np complete
dynamic environments
constraint propagation
constraint networks
decomposition method
bounded treewidth