141
click to vote
CSCLP
2003
Springer
15 years 10 months ago
2003
Springer
This paper considers the issue of postprocessing the output of interval-based solvers for further exploitations when solving numerical CSPs with continuum of solutions. Most interv...
129
Voted
CSCLP
2003
Springer
15 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 ...
133
click to vote
CSCLP
2003
Springer
15 years 10 months ago
2003
Springer
ing Soft Constraints: Some Experimental Results on Fuzzy CSPs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Stefano Bi...
145
Voted
CSCLP
2003
Springer
15 years 10 months ago
2003
Springer
118
Voted
CSCLP
2003
Springer
15 years 10 months ago
2003
Springer
128
Voted
CSCLP
2003
Springer
15 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 ...
138
Voted
CSCLP
2003
Springer
15 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...