Hypertree Decomposition: The First Step Towards Parallel Constraint Solving.

Ke Liu Sven Löffler Petra Hofstedt

Published in: DECLARE (2017)

Keyphrases

constraint solving
hypertree decomposition
constraint logic programming
constraint satisfaction problems
constraint propagation
constraint satisfaction
decomposition methods
constraint solver
constraint programming
database systems
search space
database theory