A Simple and Efficient Boolean Solver for Constraint Logic Programming

Document type :
Journal articles
Complete list of metadatas

https://hal-paris1.archives-ouvertes.fr/hal-00693251
Contributor : Daniel Diaz <>
Submitted on : Wednesday, May 2, 2012 - 11:49:46 AM
Last modification on : Friday, September 27, 2019 - 12:16:04 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

163