2020年12月19日
文献学习-Backing Backtracking
摘要： Backing Backtracking Möhle S., Biere A. (2019) Backing Backtracking. In: Janota M., Lynce I. (eds) Theory and Applications of Satisfiability Testing – 阅读全文
posted @ 2020-12-19 21:25 海阔凭鱼跃越 阅读(121) 评论(0) 推荐(0) 编辑
文献学习-Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions
摘要： Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions Saeed Nejati 1 Email author Jia Hui Liang 1 Catherine Gebotys 1 Krz 阅读全文
posted @ 2020-12-19 19:42 海阔凭鱼跃越 阅读(158) 评论(0) 推荐(0) 编辑