15 citations · 17 across the 7 of their papers we have counts for
Showing 1998 · cs.AIShow all
2 papers · 2 filters
cs.AI1998
The Essence of Constraint Propagation
Krzysztof R. Apt
We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithm…
cs.AI1998
A Proof Theoretic View of Constraint Programming
Krzysztof R. Apt
We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proo…