Implementing Constraint Propagation by Composition of Reductions.

Laurent Granvilliers, ric Monfroy

Browse the full ICLP paper archive.