TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra A2 - Seipel, Dietmar A2 - Hanus, Michael A2 - Abreu, Salvador T1 - Hypertree Decomposition: The First Step towards Parallel Constraint Solving T2 - Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers KW - Artificial Intelligence KW - Constraint Programming KW - Parallel Constraint Solving Y1 - 2019 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/23065 UR - https://www.springer.com/de/book/9783030008000 SN - 978-3-030-00800-0 SP - 81 EP - 94 PB - Springer CY - Heidelberg [u.a.] ER -