Publikation: Conflict-Based Program Rewriting for So...

Stammdaten
Titel: 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)
Erscheinungsdatum: 2013 (Print)
Erschienen in: Proceedings of the 12th LPNMR
Proceedings of the 12th LPNMR
zur Publikation
 ( Springer Verlag GmbH; P. Cabalar and T.C.Son )
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 465 - 478

Versionen
Keine Version vorhanden
Erscheinungsdatum: 2013
ISBN: -
ISSN: -
Homepage: -

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
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 Partnerorganisation ausgewählt

Beiträge der Publikation
Keine verknüpften Publikationen vorhanden