A Methodological View of Constraint Solving

Claude Kirchner 1 Hubert Comon Mehmet Dincbas Jean-Pierre Jouannaud
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Article dans une revue
Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
Liste complète des métadonnées

https://hal.inria.fr/inria-00098856
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:39:23
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098856, version 1

Collections

Citation

Claude Kirchner, Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud. A Methodological View of Constraint Solving. Constraints, Springer Verlag, 1999, 4 (4), pp.337-361. 〈inria-00098856〉

Partager

Métriques

Consultations de la notice

94