基于SAT方法进一步加速差分特征的搜索
许峥
Further accelerating the search of differential characteristics based on the SAT method
Zheng XU
网络与信息安全学报 . 2022, (5): 129 -139 .  DOI: 10.11959/j.issn.2096-109x.2022066