Propagating Separable Equalities in an MDD Store.

Tarik Hadzic, John N. Hooker, Peter Tiedemann

Browse the full CPAIOR paper archive.