ReMax – A MaxSAT aided Product (Re-)Configurator

Autor(en):

Walter, Rouven; Küchlin, Wolfgang

Tübinger Autor(en):

Erscheinungsjahr:

2014-09

Verlagsangabe:

CEUR Workshop Proceedings

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1613-0073

DDC-Klassifikation:

004 - Informatik

Schlagworte:

Erfüllbarkeitsproblem

Dokumentart:

Konferenzveröffentlichung

Das Dokument erscheint in: