Breadth-First with Depth-First BDD Construction: A Hybrid Approach (1997)

by Yirng-An Chen , Bwolen Yang , Randal E. Bryant
Citations:9 - 2 self