刘彬彬  (讲师)

电子邮箱:

所在单位:计算机科学与技术系

学历:研究生(博士)毕业

学位:工学博士学位

在职信息:在职

毕业院校:中国科学技术大学

   
当前位置: 中文主页 >> 科学研究 >> 论文成果

Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions

点击次数:

发表刊物:PLDI 2021

是否译文:

上一条: NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network

下一条: Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions