A Simple and Efficient Boolean Solver for Constraint Logic Programming - Université Paris 1 Panthéon-Sorbonne Accéder directement au contenu
Article Dans Une Revue Journal of Automated Reasoning Année : 1996

A Simple and Efficient Boolean Solver for Constraint Logic Programming

Philippe Codognet
  • Fonction : Auteur
  • PersonId : 961571
  • IdRef : 066893607
Daniel Diaz
Fichier non déposé

Dates et versions

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

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⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More