位置：成果数据库 > 期刊 > 期刊详情页
Algorithms for deriving minimum unsatisfiable Boolean subformulae
  • ISSN号：0372-2112
  • 期刊名称：Tien Tzu Hsueh Pao/Acta Electronica Sinica
  • 时间：0
  • 页码：993-999
  • 语言：中文
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Shen, Sheng-Yu|Zhang, Jian-Min|Li, Si-Kun|
同期刊论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目期刊论文
A breadth-first-search algorithm for deriving minimal unsatisfiable subformulae in satisfiability mo
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不可满足子式的宽度优先搜索算法
基于否证蕴含的极小一阶不可满足子式求解算法
最小布尔不可满足子式的求解算法
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION
期刊信息
  • 《电子学报》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国电子学会
  • 主编：郝跃
  • 地址：北京165信箱
  • 邮编：100036
  • 邮箱：new@ejournal.org.cn
  • 电话：010-68279116 68285082
  • 国际标准刊号：ISSN：0372-2112
  • 国内统一刊号：ISSN：11-2087/TN
  • 邮发代号:2-891
  • 获奖情况:
  • 2000年获国家期刊奖,2000年获国家自然科学基金志项基金支持,中国期刊方阵“双高”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,英国英国皇家化学学会文摘,中国北大核心期刊（2000版）
  • 被引量:57611