Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.

Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu

Browse the full ICCAD paper archive.