CL
2000
Springer
13 years 9 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
CL
2000
Springer
13 years 9 months ago
2000
Springer
CL
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
CL
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
CL
2000
Springer
13 years 9 months ago
2000
Springer