An improved algorithm for Boolean factoring | IEEE Conference Publication | IEEE Xplore