Boolean Constraint Solving Using clp(FD)

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.

Authors

Philippe Codognet

This author has not been identified. Look up 'Philippe Codognet' in Google

Daniel Diaz

This author has not been identified. Look up 'Daniel Diaz' in Google