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

Master data
Title: Conflict-Based Program Rewriting for Solving Configuration Problems
Subtitle:
Abstract: 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.
Keywords:
Publication type: Article in compilation (Authorship)
Publication date: 2013 (Print)
Published by: Proceedings of the 12th LPNMR
Proceedings of the 12th LPNMR
to publication
 ( Springer Verlag GmbH; P. Cabalar and T.C.Son )
Title of the series: -
Volume number: -
First publication: Yes
Page: pp. 465 - 478

Versionen
Keine Version vorhanden
Publication date: 2013
ISBN: -
ISSN: -
Homepage: -

Assignment
Organisation Address
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
To organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Categorisation
Subject areas
  • 1108 - Informatics
Research Cluster No research Research Cluster selected
Peer reviewed
  • Yes
Publication focus
  • Science to Science (Quality indicator: I)
Classification raster of the assigned organisational units:
working groups No working group selected

Cooperations
No partner organisations selected

Articles of the publication
No related publications