@article{codognet:hal-00693251, TITLE = {{A Simple and Efficient Boolean Solver for Constraint Logic Programming}}, AUTHOR = {Codognet, Philippe and Diaz, Daniel}, URL = {https://paris1.hal.science/hal-00693251}, JOURNAL = {{Journal of Automated Reasoning}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {17}, NUMBER = {1}, PAGES = {97-129}, YEAR = {1996}, KEYWORDS = {contraint programming ; boolean constraints ; SAT ; CLP ; constraint logic programming ; WAM}, HAL_ID = {hal-00693251}, HAL_VERSION = {v1}, }