Boolean Constraint Solving Using clp(FD).
Philippe Codognet, Daniel Diaz
VenueBICLP
Year1993
ProceedingsICLP Workshop on Concurrent Constraint Programming
DBLP recordconf/iclp/CodognetD93 ↗
Browse the full ICLP paper archive.
Philippe Codognet, Daniel Diaz
Browse the full ICLP paper archive.