A Simple and Efficient Boolean Solver for Constraint Logic Programming

Type de document :
Article dans une revue
Journal of Automated Reasoning, Springer Verlag, 1996, 17 (1), pp.97-129
Liste complète des métadonnées

https://hal-paris1.archives-ouvertes.fr/hal-00693251
Contributeur : Daniel Diaz <>
Soumis le : mercredi 2 mai 2012 - 11:49:46
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Identifiants

  • HAL Id : hal-00693251, version 1

Collections

Citation

Philippe Codognet, Daniel Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, Springer Verlag, 1996, 17 (1), pp.97-129. 〈hal-00693251〉

Partager

Métriques

Consultations de la notice

116