Applications of MaxSAT in Automotive Configuration

dc.contributor.author	Walter, Rouven
dc.contributor.author	Zengler, Christoph
dc.contributor.author	Küchlin, Wolfgang
dc.date.accessioned	2014-07-31T09:53:00Z
dc.date.available	2014-07-31T09:53:00Z
dc.date.issued	2013
dc.identifier.issn	1613-0073
dc.identifier.uri	http://hdl.handle.net/10900/55042
dc.language.iso	en	de_DE
dc.publisher	CEUR Workshop Proceedings (CEUR-WS.org)	de_DE
dc.relation.uri	http://ceur-ws.org/Vol-1128/paper3.pdf	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject	SAT-Solving, MaxSAT, configuration, automotive	de_DE
dc.subject.ddc	004	de_DE
dc.title	Applications of MaxSAT in Automotive Configuration	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	21-28	de_DE
utue.personen.roh	Walter, Rouven
utue.personen.roh	Zengler, Christoph
utue.personen.roh	Küchlin, Wolfgang
dcterms.isPartOf.ZSTitelID	International Configuration Workshop 2013	de_DE
dcterms.isPartOf.ZS-Volume	Vol-1128	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE