Breadth-first manipulation of very large binary-decision diagrams.

Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima

Browse the full ICCAD paper archive.