Article Dans Une Revue
Journal of Automated Reasoning
Année : 1996
Connectez-vous pour contacter le contributeur
https://paris1.hal.science/hal-00693251
Soumis le : mercredi 2 mai 2012-11:49:46
Dernière modification le : mercredi 26 février 2025-15:24:03
Dates et versions
Identifiants
- HAL Id : hal-00693251 , version 1
Citer
Philippe Codognet, Daniel Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, 1996, 17 (1), pp.97-129. ⟨hal-00693251⟩
Collections
199
Consultations
0
Téléchargements