A Simple and Efficient Boolean Solver for Constraint Logic Programming

Philippe Codognet; Daniel Diaz

Journal Articles Journal of Automated Reasoning Year : 1996

A Simple and Efficient Boolean Solver for Constraint Logic Programming

(1) , (2)

1
2

Philippe Codognet

Function : Author

Constraint Logic Programming

Daniel Diaz

Function : Author
PersonId : 177531
IdHAL : daniel-diaz
ORCID : 0000-0002-2700-2271
IdRef : 069722358

Centre de Recherche en Informatique de Paris 1

CV

Keywords

contraint programming boolean constraints SAT CLP constraint logic programming WAM

Domains

Software Engineering [cs.SE]

Daniel Diaz : Connect in order to contact the contributor

https://hal-paris1.archives-ouvertes.fr/hal-00693251

Submitted on : Wednesday, May 2, 2012-11:49:46 AM

Last modification on : Thursday, April 6, 2023-10:54:11 AM

Dates and versions

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

Identifiers

HAL Id : hal-00693251 , version 1

Cite

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⟩

A Simple and Efficient Boolean Solver for Constraint Logic Programming

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share