Variable Shift SDD: A More Succinct Sentential Decision Diagram.

Kengo Nakamura Shuhei Denzumi Masaaki Nishino

Published in: SEA (2020)

Keyphrases

decision diagrams
multi valued decision diagrams
concurrency control
data sets
domain specific
multi dimensional
data flow
multi valued
compressed data