Henrik Reif Andersen Tarik Hadzic John N. Hooker Peter Tiedemann A Constraint Store Based on Multivalued Decision Diagrams. 118-132 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_11 db/conf/cp/cp2007.html#AndersenHHT07