@misc{LiuLoefflerHofstedt2018, author = {Ke Liu and Sven L{\"o}ffler and Petra Hofstedt}, title = {Hypertree Decomposition: The First Step Towards Parallel Constraint Solving}, booktitle = {Declare 2017 - Conference on Declarative Programming}, editor = {Dietmar Seipel and Michael Hanus and Salvador Abreu}, url = {https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {91 -- 103}, year = {2018}, }