Improved BDD compression by combination of variable ordering techniques | IEEE Conference Publication | IEEE Xplore