@misc{LiuLoefflerHofstedt2019, author = {Ke Liu and Sven L{\"o}ffler and Petra Hofstedt}, title = {Hypertree Decomposition: The First Step towards Parallel Constraint Solving}, booktitle = {Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, W{\"u}rzburg, Germany, Revised Selected Papers}, editor = {Dietmar Seipel and Michael Hanus and Salvador Abreu}, isbn = {978-3-030-00800-0}, doi = {10.1007/978-3-030-00801-7_6}, url = {https://www.springer.com/de/book/9783030008000}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {81 -- 94}, year = {2019}, }