A method for concurrent decomposition and factorization of Boolean expressions | IEEE Conference Publication | IEEE Xplore