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
Document type :
Journal articles
Complete list of metadatas
https://hal-paris1.archives-ouvertes.fr/hal-00693245
Contributor : Daniel Diaz <>
Submitted on : Wednesday, May 2, 2012 - 11:45:17 AM
Last modification on : Friday, September 27, 2019 - 12:16:04 PM

Identifiers

  • 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

179

Contact

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