95 citations · 208 across the 21 of their papers we have counts for
Showing 2006 · cs.AIShow all
2 papers · 2 filters
cs.AI2006★ 7 cited
Infinite Qualitative Simulations by Means of Constraint Programming
Krzysztof R. Apt, Sebastian Brand
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set…
cs.AI2006★ 2 cited
An Analysis of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for these…