An efficient approach to decomposition of multi-output Boolean functions with large sets of bound variables | IEEE Conference Publication | IEEE Xplore