Ke Liu, Sven Löffler, Petra Hofstedt. Using Hypertree Decomposition for Parallel Constraint Solving. In Maximilian Eibl, Martin Gaedke, editors, 47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017, Chemnitz, Germany, September 25-29, 2017. Volume P-275 of LNI, pages 615-622, GI, 2017. [doi]
Abstract is missing.