15 citations · 17 across the 7 of their papers we have counts for
5 papers · 1 filter
Constraint-Based Qualitative Simulation
Krzysztof R. Apt, Sebastian Brand
We consider qualitative simulation involving a finite set of qualitative relations in presence of complete knowledge about their interrelationship. We show how it can be naturally…
Some Remarks on Boolean Constraint Propagation
Krzysztof R. Apt
We study here the well-known propagation rules for Boolean constraints. First we propose a simple notion of completeness for sets of such rules and establish a completeness result.…
The Rough Guide to Constraint Propagation
Krzysztof R. Apt
We provide here a simple, yet very general framework that allows us to explain several constraint propagation algorithms in a systematic way. In particular, using the notions commu…
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…
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…