电子邮箱:49cb2bccb6119da36ff935d140abd952a5fc2f4cc49f6287a8dfedfa943058bcf7258f2d67655688b5d3b02e0248bc7e41fadd9a5c8d0614a3be102f01c944a9ce941fc4f9dc9477a9b3257f328b9baaed340a46596172f32a42ccf7d6fbb4ab6f77280e61e209b3b1a8cc4002894f0f65e1d7c39d25b512676ad0846d8503b7
所在单位:计算机科学与技术系
学历:研究生(博士)毕业
学位:工学博士学位
在职信息:在职
毕业院校:中国科学技术大学
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