Adaptive and Opportunistic Exploitation of Tree-Decompositions for Weighted CSPs.

Philippe Jégou Helene Kanso Cyril Terrioux

Published in: ICTAI (2017)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
hypertree decomposition
constraint satisfaction
constraint programming
constraint propagation
complexity bounds
knowledge base
np complete
parallel processing
arc consistency