Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis

Xiao Zeng, Huijun Liang, Jun Yuan, Xiaoyu Song, Guowu Yang. Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(9):2966-2979, September 2023. [doi]

Authors

Xiao Zeng

This author has not been identified. Look up 'Xiao Zeng' in Google

Huijun Liang

This author has not been identified. Look up 'Huijun Liang' in Google

Jun Yuan

This author has not been identified. Look up 'Jun Yuan' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Guowu Yang

This author has not been identified. Look up 'Guowu Yang' in Google