Compiling Constraints in clp(FD)

Article Dans Une Revue Journal of Logic Programming Année : 1996

(1) , (2)

1
2

Philippe Codognet

Constraint Logic Programming

Daniel Diaz

Centre de Recherche en Informatique de Paris 1

constraint programming constraint logic programming finite domains implementation WAM

Génie logiciel [cs.SE]

https://paris1.hal.science/hal-00693245

Soumis le : mercredi 2 mai 2012-11:45:17

Dernière modification le : jeudi 7 mars 2024-11:55:20

hal-00693245 , version 1 (02-05-2012)

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

UNIV-PARIS1 INRIA CRI INRIA2

69 Consultations

0 Téléchargements