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]
Abstract is missing.