Applications of MaxSAT in Automotive Configuration

DSpace Repository

Applications of MaxSAT in Automotive Configuration

Author: Walter, Rouven; Zengler, Christoph; Küchlin, Wolfgang
Tübinger Autor(en):
Walter, Rouven
Zengler, Christoph
Küchlin, Wolfgang
Published in: International Configuration Workshop 2013 (2013), Bd. Vol-1128, S. 21-28
Verlagsangabe: CEUR Workshop Proceedings (CEUR-WS.org)
Language: English
Full text: http://ceur-ws.org/Vol-1128/paper3.pdf
ISSN: 1613-0073
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)