Stammdaten

Conflict-Based Program Rewriting for Solving Configuration Problems
Untertitel:
Kurzfassung: Many real-world design problems such as product configuration require a flexible number of components and thus rely on tuple generating dependencies in order to express relations between entities. Often, such problems are subject to optimization, preferring models which include a minimal number of constants substituted in existentially quantified formulas. In this paper we propose an approach based on automated program rewriting which avoids such substitutions of existentially quantified variables that would lead to a contradiction. While preserving all solutions, the method significantly reduces runtime and solves instances of a class of real-world configuration problems which could not be efficiently solved by current techniques.
Schlagworte:
Publikationstyp: Beitrag in Sammelwerk (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: Proceedings of the 12th LPNMR
Proceedings of the 12th LPNMR
zur Publikation
 ( Springer Verlag GmbH; P. Cabalar and T.C.Son )
Erscheinungdatum: 2013
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 465 - 478

Identifikatoren

ISBN: -
ISSN: -
DOI: -
AC-Nummer: -
Homepage:
Open Access
  • Kein Open-Access

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993705
   ainf@aau.at
https://www.aau.at/angewandte-informatik/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

Sachgebiete
  • 1108 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Kooperationen

Keine Kooperationspartner ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden