Optimization of sequential verification by history-based dynamic minimization of BDDs | IEEE Conference Publication | IEEE Xplore