Constraint-based and SAT-based diagnosis of automotive configuration problems

DSpace Repositorium (Manakin basiert)

Constraint-based and SAT-based diagnosis of automotive configuration problems

Autor(en): Walter, Rouven; Felfernig, Alexander; Kuechlin, Wolfgang
Tübinger Autor(en):
Walter, Rouven
Küchlin, Wolfgang
Erschienen in: Journal of Intelligent Information Systems (2017), Bd. 49, H. SI, S. 87-118
Verlagsangabe: Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s10844-016-0422-7
ISSN: 1573-7675
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: