7 search results - page 1 / 2 » csclp 2003 |
CSCLP
2003
Springer
13 years 10 months ago
2003
Springer
CSCLP
2003
Springer
13 years 10 months ago
2003
Springer
CSCLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
CSCLP
2003
Springer
13 years 10 months ago
2003
Springer
Many real-life constraints describing relations between the problem variables have complex semantics and the constraint domain is defined using a table of compatible tuples rather ...
CSCLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft ...