Breadth-first manipulation of SBDD of Boolean function for vector processing (1991)

by H Ochi, N Ishiura, S Yajima
Venue:28th ACM/IEEE Design Automation Conference