MiniSAT软件相关硕士博士期刊学术论文

MiniSAT软件相关论文

基于MiniSAT2．0软件，研究对低轮PRESENT的代数攻击问题。提出将S盒表示为单项式个数较少的无冗余等效方程组的方法，将PRESENT的S盒表......

期刊