Concurrent decomposition of multi-terminal bdds (2006)

by I Levin, O Keren, V Ostrovsky, G Kolotov
Venue:in Proc. of 7th International Workshop on Boolean Problems