Relations between MDDs and Tuples and Dynamic Modifications of MDDs based constraints.

Guillaume Perez Jean-Charles Régin

Published in: CoRR (2015)

Keyphrases

knowledge compilation
decision diagrams
null values
normal form
global constraints
database
relational databases
attribute values
constraint satisfaction
constraint programming
markov decision processes
information retrieval
knowledge representation
image reconstruction
multi valued