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

dc.contributor.author	Walter, Rouven
dc.contributor.author	Küchlin, Wolfgang
dc.date.accessioned	2017-09-06T13:49:40Z
dc.date.available	2017-09-06T13:49:40Z
dc.date.issued	2017
dc.identifier.issn	1573-7675
dc.identifier.uri	http://hdl.handle.net/10900/77771
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s10844-016-0422-7	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Constraint-based and SAT-based diagnosis of automotive configuration problems	de_DE
dc.type	Article	de_DE
utue.quellen.id	20170815222223_00117
utue.publikation.seiten	87-118	de_DE
utue.personen.roh	Walter, Rouven
utue.personen.roh	Felfernig, Alexander
utue.personen.roh	Kuechlin, Wolfgang
dcterms.isPartOf.ZSTitelID	Journal of Intelligent Information Systems	de_DE
dcterms.isPartOf.ZS-Issue	SI	de_DE
dcterms.isPartOf.ZS-Volume	49	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE