A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms.

Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay

Browse the full DATE paper archive.