• search hit 34 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.springer.com/de/book/9783030008000
DOI:https://doi.org/10.1007/978-3-030-00801-7_6
ISBN:978-3-030-00800-0
Title of the source (English):Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers
Publisher:Springer
Place of publication:Heidelberg [u.a.]
Editor: Dietmar Seipel, Michael Hanus, Salvador AbreuORCiD
Document Type:Conference publication peer-reviewed
Language:English
Year of publication:2018
Tag:Artificial Intelligence; Constraint Programming; Parallel Constraint Solving
First Page:81
Last Page:94
Series ; volume number:Lecture Notes in Computer Science ; Volume 10997
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.