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

Christian Fecht, Helmut Seidl

Browse the full ESOP paper archive.