Using Hypertree Decomposition for Parallel Constraint Solving
Author: | Ke LiuORCiD, Sven Löffler, Petra HofstedtGND |
---|---|
DOI: | https://doi.org/10.18420/in2017 58 |
ISBN: | 978-3-88579-669-5 |
Title of the source (German): | Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland |
Publisher: | Gesellschaft für Informatik e.V. (GI) |
Place of publication: | Bonn |
Editor: | Maximilian Eibl, Martin Gaedke |
Document Type: | Conference publication peer-reviewed |
Language: | English |
Year of publication: | 2017 |
First Page: | 615 |
Last Page: | 622 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |