Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization.

Mohsen Nafar, Michael Rmer

Browse the full CPAIOR paper archive.