Found 222 results for "Constraint programming (Computer science)"
by International Workshop on Constraint Solving and Constraint Logic Programming (2003 Budapest, Hungary)
The subject of arithmetic constraints on reals has attracted a great deal of attention in the literature.
by Barry O'Sullivan
The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are pr...
by Andreas Podelski
The use of intervals in Constraint Logic Programming has been investigated by several authors in the last few years.