CacBDD: A BDD Package with Dynamic Cache Management. In: (2013)

by G Lv, K Su, Y Xu
Venue:Proceedings of the 25th International Conference on Computer Aided Verification.