Generating Propagation Rules for Finite Domains: a Mixed Approach

Christophe Ringeissen 1 Eric Monfroy 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Constraint solving techniques are frequently based on constraint propagation, a technique that can be seen as a specific form of deduction. Using constraint programming languages enhanced with constraint handling rules facilities, constraint propagation can be achieved just by applying deduction rules to constraints. The automatic generation of propagation rules has been recently investigated in the particular case of finite domains, when constraint satisfaction problems are based on predefined, explicitly given constraints. Due to its interest for practical applications, several solvers have been developed during the last decade for integrating finite domains into (constraint) logic programming. A possible way of integration is implemented using a unification algorithm to compute most general solutions of constraints. In this paper, we propose a mixed approach for designing finite domain constraints solvers: it consists in using a solver based on unification to improve the generation of propagation rules.
Type de document :
Communication dans un congrès
K. Apt, A. Kakas, E. Monfroy, F. Rossi. Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, Springer, 1865, pp.150-172, 1999, Lecture Notes in Artificial Intelligence
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00099387, version 1

Collections

Citation

Christophe Ringeissen, Eric Monfroy. Generating Propagation Rules for Finite Domains: a Mixed Approach. K. Apt, A. Kakas, E. Monfroy, F. Rossi. Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, Springer, 1865, pp.150-172, 1999, Lecture Notes in Artificial Intelligence. 〈inria-00099387〉

Partager

Métriques

Consultations de la notice

85