A technical paper titled “EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation” was published by researchers at University of Bremen. “In recent years, hardware ...