Fast Set Bounds Propagation using BDDs.

Graeme Gange, Vitaly Lagoon, Peter J. Stuckey

Browse the full ECAI paper archive.