TY - RPRT TI - Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning AU - Jiaxi Zhang AU - Liwei Ni AU - Shenggen Zheng AU - Hao Liu AU - Xiangfu Zou AU - Feng Wang AU - Guojie Luo PY - 2021 UR - https://arxiv.org/abs/2111.06213 ID - 2111.06213 ER -