Efficient dynamic minimization of word-level DDs based on lower bound computation | IEEE Conference Publication | IEEE Xplore