Philippe Codognet, Daniel Diaz. Boolean Constraint Solving Using clp(FD). In Christian Schulte, Gert Smolka, editors, Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993. 1993.
@inproceedings{CodognetD93-0,
title = {Boolean Constraint Solving Using clp(FD)},
author = {Philippe Codognet and Daniel Diaz},
year = {1993},
researchr = {https://researchr.org/publication/CodognetD93-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993},
editor = {Christian Schulte and Gert Smolka},
}