Optimizations in computing the algebraic normal form transform of Boolean functions | IEEE Conference Publication | IEEE Xplore