• search hit 60 of 93
Back to Result List

Using Hypertree Decomposition for Parallel Constraint Solving

Export metadata

Additional Services

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