Hypertree Decomposition: The First Step Towards Parallel Constraint Solving
Author: | Ke LiuORCiD, Sven Löffler, Petra HofstedtGND |
---|---|
URL: | https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf |
Title of the source (English): | Declare 2017 – Conference on Declarative Programming |
Publisher: | Institute of Computer Science |
Place of publication: | Würzburg |
Editor: | Dietmar Seipel, Michael Hanus, Salvador AbreuORCiD |
Document Type: | Conference publication peer-reviewed |
Language: | English |
Year of publication: | 2017 |
First Page: | 91 |
Last Page: | 103 |
Article number: | Institute of Computer Science, University of Würzburg, Technical Report ; Nr. 499 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |