FLAIRS
2004
13 years 5 months ago
2004
Constraint satisfaction technology emerged from AI research. Its practical success is based on integration of sophisticated search with consistency techniques reducing the search ...
CP
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...