Location of Repository

An Architecture for the Combination of Constraint Solvers

By P. Hofstedt, Grundlagen Der Programmierung, Fakult At Informatik, Technische Berichte and Petra Hofstedt

Abstract

. In this paper, an architecture for the combination of different constraint solvers with the help of projections is proposed. By means of the definition of an interface and restricting properties of the operations of constraint solvers we are able to define a mechanism for the open and consistent combination of constraint systems. We enable the use of a functional logic language as constraint solver for constraints over functional expressions in the overall system. The syntax of a language which allows the specification of mixed constraints of different constraint domains and its operational semantics are introduced. We compare our approach with BALI, an environment for designing and executing constraint solver combinations. 1 Introduction The paradigm of constraint programming ([7]) offers efficient mechanisms to handle constraints of various constraint domains. However, one constraint solver is only able to handle constraints of one particular constraint domain. It is desirable and..

Year: 1998
OAI identifier: oai:CiteSeerX.psu:10.1.1.36.2366
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.inf.tu-dresden.de/pu... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.