A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Design, implementation, and evaluation of the constraint language cc(FD)
1998
The Journal of Logic Programming
This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over ®nite domains based on the cc framework [33] , an extension of the Constraint Logic Programming (CLP) scheme [21] . Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated using domain and interval consistency. The main novelty of cc(FD) is the inclusion of a number
doi:10.1016/s0743-1066(98)10006-7
fatcat:6ziavlffungwzfbcbmkuimk2le