@misc{LiuLoefflerHofstedt2018, author = {Ke Liu and Sven L{\"o}ffler and Petra Hofstedt}, title = {Using Hypertree Decomposition for Parallel Constraint Solving}, booktitle = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, editor = {Maximilian Eibl and Martin Gaedke}, isbn = {978-3-88579-669-5}, doi = {10.18420/in2017 58}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {615 -- 622}, year = {2018}, }