Interleaving based variable ordering methods for ordered binary decision diagrams.

Hiroshige Fujii, Goichi Ootomo, Chikahiro Hori

Browse the full ICCAD paper archive.