Compiling Constraints in clp(FD)

Philippe Codognet 1 Daniel Diaz 2
1 LOCO - Constraint Logic Programming
Inria Paris-Rocquencourt
2 CRI - Centre de Recherche en Informatique de Paris 1
Keywords : constraint programming constraint logic programming finite domains implementation WAM
Type de document :
Article dans une revue
Journal of Logic Programming, 1996, 27 (3), pp.185-226
Liste complète des métadonnées
https://hal-paris1.archives-ouvertes.fr/hal-00693245
Contributeur : Daniel Diaz <>
Soumis le : mercredi 2 mai 2012 - 11:45:17
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Identifiants

  • HAL Id : hal-00693245, version 1

Collections

UNIV-PARIS1 | CRI | INRIA | INRIA-ROCQ

Citation

Philippe Codognet, Daniel Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, 1996, 27 (3), pp.185-226. 〈hal-00693245〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

128

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD