BDD variable ordering by scatter search | IEEE Conference Publication | IEEE Xplore