Filters

Advanced Search Browse by Genre

Found 222 results for "Constraint programming (Computer science)"

Recent advances in constraints
Recent advances in constraints

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.

2004 2 ed.
Recent Advances in Constraints
Recent Advances in Constraints

by Barry O'Sullivan

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are pr...

2003 2 ed.
Constraint Programming: Basics and Trends
Constraint Programming: Basics and Trends

by Andreas Podelski

The use of intervals in Constraint Logic Programming has been investigated by several authors in the last few years.

1995 1 ed.