15 citations · 17 across the 7 of their papers we have counts for
Showing 1998Show all
3 papers · 1 filter
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.LO1998
Formulas as Programs
Krzysztof R. Apt, Marc Bezem
We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this ap…
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…