• search hit 91 of 93
Back to Result List

Hypertree Decomposition: The First Step Towards Parallel Constraint Solving

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.