A Constraint Store Based on Multivalued Decision Diagrams.

Henrik Reif Andersen Tarik Hadzic John N. Hooker Peter Tiedemann

Published in: CP (2007)

Keyphrases

decision diagrams
multi valued
compressed data
efficient computation
markov decision processes
digital circuits
data compression
data structure
association rules
boolean functions
global constraints
binary decision diagrams