Efficient variable ordering using aBDD based sampling | IEEE Conference Publication | IEEE Xplore