ReMax – A MaxSAT aided Product (Re-)Configurator

dc.contributor.author	Walter, Rouven
dc.contributor.author	Küchlin, Wolfgang
dc.date.accessioned	2014-09-23T15:34:58Z
dc.date.available	2014-09-23T15:34:58Z
dc.date.issued	2014-09
dc.identifier.issn	1613-0073
dc.identifier.uri	http://hdl.handle.net/10900/56430
dc.language.iso	en	de_DE
dc.publisher	CEUR Workshop Proceedings	de_DE
dc.relation.uri	urn:nbn:de:0074-1220-3	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject	Configurator, Automotive, SAT, MaxSAT	de_DE
dc.subject.classification	Erfüllbarkeitsproblem	de_DE
dc.subject.ddc	004	de_DE
dc.title	ReMax – A MaxSAT aided Product (Re-)Configurator	de_DE
dc.type	ConferenceObject	de_DE
utue.personen.roh	Walter, Rouven
utue.personen.roh	Küchlin, Wolfgang