Optimizing logic design using Boolean transforms | IEEE Conference Publication | IEEE Xplore