On decomposing Boolean functions via extended cofactoring | IEEE Conference Publication | IEEE Xplore