基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 211 浏览量: 282
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
基于队列的树形加法优化认证器Queue-Based Tree Addition Optimization Authenticator
冯天烁, 史美琦, 齐 爽, 江建国 下载量: 176 浏览量: 265
计算机科学与应用 Vol.13 No.10, October 16 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310182 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 180 浏览量: 269
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量