Using Hypertree Decomposition for Parallel Constraint Solving

Liu, Ke; Loeffler, Sven; Hofstedt, Petra

Autor(en):

Zusammenfassung

Multi-core processors or many-core processors have become the standard configuration for computers nowadays. Yet, the mainstream constraint solvers have not fully utilized these available computation resources due to the intrinsic difficulty on decomposing constraint satisfaction problems (CSPs). This paper reviews the previous research in parallel constraint solving and proposes a new approach for mapping constraint networks on multi-core or many-core processors by means of hypertree decomposition. We give theoretical considerations and our plans for future research.

Vollständige Referenz
BibTeX

Liu, K., Loeffler, S. & Hofstedt, P., (2017). Using Hypertree Decomposition for Parallel Constraint Solving. In: Eibl, M. & Gaedke, M. (Hrsg.), INFORMATIK 2017. Gesellschaft für Informatik, Bonn. (S. 615-622). DOI: 10.18420/in2017_58

@inproceedings{mci/Liu2017,
author = {Liu, Ke AND Loeffler, Sven AND Hofstedt, Petra},
title = {Using Hypertree Decomposition for Parallel Constraint Solving},
booktitle = {INFORMATIK 2017},
year = {2017},
editor = {Eibl, Maximilian AND Gaedke, Martin} ,
pages = { 615-622 } ,
doi = { 10.18420/in2017_58 },
publisher = {Gesellschaft für Informatik, Bonn},
address = {}
}

	Dateien	Groesse	Format	Anzeige
	B7-2.pdf	450.9Kb	PDF	Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/in2017_58

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken