Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing

S. Piechowiak, J. Rodriguez

In this paper we present a rule based formalism for filtering variables domains of constraints. This formalism is well adapted for solving dynamic CSP. We take diagnosis as an inst…