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.

Abstract

Abstract is missing.