Layer Compression in Decision Diagrams.

Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan

Browse the full ICTAI paper archive.