An Improved method to join BDDs for incompletely specified Boolean functions | IEEE Conference Publication | IEEE Xplore