您当前的位置:
首页 >
文章列表页 >
基于多值阻变存储器与子句折叠策略的并行梯度布尔可满足性求解器
面向高效人工智能的新型架构与电子系统 | 更新时间:2026-10-16
    • 基于多值阻变存储器与子句折叠策略的并行梯度布尔可满足性求解器

    • Multilevel Resistive Memory Enabled Parallel-Gradient Boolean Satisfiability Solver with Clause-Folding Scheme

    • 岳文硕 ,叶林韬 ,史代璟 ,符一涵 ,杨宇翔 ,赵洪霄 ,李嘉怡 ,张腾 ,燕博南 ,杨玉超
    • 电子学报 2026年54卷第6期 页码:2403-2414
    • DOI: 10.12263/DZXB.20250966     

      中图分类号:
    • 录用:2025-12-22 ,

    移动端阅览

  •  
  •  
  • HTML全文

  • 图( 13 ) 表( 1 )

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束,您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束,您可以通过登录账户,到个人中心,购买VIP会员阅读全文。
已是VIP会员?
去登录 >

108

浏览量

123

下载量

0

CSCD

文章被引用时,请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

基于层间特征图压缩的卷积神经网络加速器
RTL级可扩展高性能数据压缩方法实现
基于LaFMD处理的新型阈值调控技术研究
基于梯度优化的AFDM-ISAC波形高精度感知算法
基于概念漂移感知的异常流量检测模型轻量化更新机制

相关作者

叶林韬
卜文杰
谢良波
陈林
周牧
周清雷
李斌
陈晓杰

相关机构

重庆邮电大学电子科学与工程学院
重庆邮电大学通信与信息工程学院
数学工程与先进计算国家重点实验室
郑州大学计算机与人工智能学院
吉林大学计算机科学与技术学院