EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation.

Rune Krauss, Mehran Goli, Rolf Drechsler

Browse the full ASPDAC paper archive.