A Constraint Store Based on Multivalued Decision Diagrams.

Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann

Browse the full CP paper archive.