位置：成果数据库 > 期刊 > 期刊详情页
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION
  • ISSN号：0217-9822
  • 期刊名称：《电子科学学刊：英文版》
  • 时间：0
  • 分类：TN402[电子电信—微电子学与固体电子学]
  • 作者机构：[1]School of Computer Science, National University of Defense Technology, Changsha 410073, China
  • 相关基金：Supported by the National Natural Science Foundation of China （No.60603088）. @nudt.edu.cn.
作者： Zhang Jianmin Shen Shengyu Li Sikun[1]
关键词： 电子设计自动化, 蚁群算法, 硬件外形, 最小不满足核提取, Electronic Design Automation （EDA）, Formal verification of hardware, Minimum unsatisfiable core, Ant colony algorithm, Maximal satisfiable subformula
中文摘要：

Communication author： Zhang Jianmin, born in 1979, male, Ph.D. candidate. School of Computer Science, National University of Defense Technology, Changsha 410073, China. Email： jmzhang@nudt.edu.cn

同期刊论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目期刊论文
A breadth-first-search algorithm for deriving minimal unsatisfiable subformulae in satisfiability mo
Algorithms for deriving minimum unsatisfiable Boolean subformulae
Synthesizing Complementary Circuits Automatically
可满足性求解技术研究
一种求解不可满足子式的局部搜索算法
Tracking unsatisfiable subformulas from reduced refutation proof
Research advances in methods of extracting boolean unsatisfiable subformulae
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION
布尔不可满足子式的求解方法研究进展
求解极小SMT不可满足子式的宽度优先搜索算法
基于否证蕴含的极小一阶不可满足子式求解算法
最小布尔不可满足子式的求解算法
期刊信息
  • 《电子科学学刊：英文版》
  • 主管单位:中国科学院
  • 主办单位:中国科学院电子学研究所
  • 主编：朱敏慧
  • 地址：北京2702信箱
  • 邮编：100080
  • 邮箱：jc@mail.ie.ac.cn
  • 电话：010-62551772
  • 国际标准刊号：ISSN：0217-9822
  • 国内统一刊号：ISSN：11-2003/TN
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,英国科学文摘数据库
  • 被引量:73