Sampling schemes for computing OBDD variable orderings.

Jawahar Jain, William Adams, Masahiro Fujita

Browse the full ICCAD paper archive.