A Succinct and Efficient Implementation of a 2^32 BDD Package.

Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su

Browse the full TASE paper archive.