Applications of MaxSAT in Automotive Configuration

Autor(en):

Walter, Rouven; Zengler, Christoph; Küchlin, Wolfgang

Tübinger Autor(en):

Erschienen in:

International Configuration Workshop 2013 (2013), Bd. Vol-1128, S. 21-28

Verlagsangabe:

CEUR Workshop Proceedings (CEUR-WS.org)

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1613-0073

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: