Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees.

Ruiwei Wang Roland H. C. Yap

Published in: AAAI (2022)

Keyphrases

multi valued
decision diagrams
global constraints
boolean functions
normal form
databases
relational databases
tree structure
graphical models
integrity constraints
undirected graph