HADDOCK: A Language and Architecture for Decision Diagram Compilation.

Rebecca Gentzel Laurent Michel Willem Jan van Hoeve

Published in: CP (2020)

Keyphrases

decision diagrams
efficient computation
management system
multi valued
tree structure
compressed data
multi valued decision diagrams