A Methodological View of Constraint Solving - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Constraints Année : 1999

A Methodological View of Constraint Solving

Hubert Comon
  • Fonction : Auteur
Mehmet Dincbas
  • Fonction : Auteur
Jean-Pierre Jouannaud
  • Fonction : Auteur

Résumé

Constraints are an effective tool to define sets of data by means of logical formulae. Our goal here is to survey the notion of constraint system and to give examples of constraint systems operating on various domains, such as natural, rational or real numbers, finite domains, and term domains. We classify the different methods used for solving constraints, syntactic methods based on transformations, semantic methods based on adequate representations of constraints, hybrid methods combining transformations and enumerations. The concepts and methods are illustrated via examples. We also discuss applications of constraints to various fields, such as programming, operations research, and theorem proving.
Fichier non déposé

Dates et versions

inria-00098856 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098856 , version 1

Citer

Claude Kirchner, Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud. A Methodological View of Constraint Solving. Constraints, 1999, 4 (4), pp.337-361. ⟨inria-00098856⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More