Applications of MaxSAT in Automotive Configuration

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record