7 search results - page 1 / 2 » csclp 2003 |
CSCLP
2003
Springer
14 years 4 months ago
2003
Springer
CSCLP
2003
Springer
14 years 4 months ago
2003
Springer
CSCLP
2003
Springer
14 years 4 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
14 years 4 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
14 years 4 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 ...