基于分治策略的SAT差分自动化搜索算法及其应用
胡斌, 谈潇, 王森鹏
SAT-based differential automatic search algorithm using divide-and-conquer strategy and its applications
Bin HU, Xiao TAN, Senpeng WANG
通信学报 . 2023, (4): 137 -144 .  DOI: 10.11959/j.issn.1000-436x.2023082