Efficient variable ordering using aBDD based sampling.

Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita

Browse the full DAC paper archive.