Using Hypertree Decomposition for Parallel Constraint Solving.

Ke Liu Sven Löffler Petra Hofstedt

Published in: GI-Jahrestagung (2017)

Keyphrases

constraint solving
hypertree decomposition
constraint satisfaction problems
constraint logic programming
constraint satisfaction
constraint propagation
constraint solver
decomposition methods
constraint programming
support vector
parallel processing