Dynamic variable ordering for ordered binary decision diagrams.

Richard Rudell

Browse the full ICCAD paper archive.