15 citations · 17 across the 7 of their papers we have counts for
Showing 2004Show all
3 papers · 1 filter
cs.PL2004★ 2 cited
A Comparative Study of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Ea…
cs.DS2004
Schedulers and Redundancy for a Class of Constraint Propagation Rules
Sebastian Brand, Krzysztof R. Apt
We study here schedulers for a class of rules that naturally arise in the context of rule-based constraint programming. We systematically derive a scheduler for them from a generic…
cs.GT2004
Uniform Proofs of Order Independence for Various Strategy Elimination Procedures
Krzysztof R. Apt
We provide elementary and uniform proofs of order independence for various strategy elimination procedures for finite strategic games, both for dominance by pure and by mixed strat…