Article Dans Une Revue
Journal of Automated Reasoning
Année : 1996
Daniel Diaz : 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 : jeudi 7 mars 2024-11:55:20
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
63
Consultations
0
Téléchargements