HADDOCK: A Language and Architecture for Decision Diagram Compilation.

Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve

Browse the full CP paper archive.