Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.

Christian Fecht Helmut Seidl

Published in: ESOP (1998)

Keyphrases

learning algorithm
preprocessing
matching algorithm
objective function
search space
probabilistic model
fixpoint
database
artificial intelligence
high level
expert systems
data model
model checking