位置：成果数据库 > 期刊 > 期刊详情页
A breadth-first-search algorithm for deriving minimal unsatisfiable subformulae in satisfiability mo
  • ISSN号：1003-9775
  • 期刊名称：计算机辅助设计与图形学学报
  • 时间：0
  • 页码：984-990
  • 语言：中文
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Shen, Shengyu|Zhang, Jianmin|Li, Sikun|
同期刊论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目期刊论文
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不可满足子式的宽度优先搜索算法
基于否证蕴含的极小一阶不可满足子式求解算法
最小布尔不可满足子式的求解算法
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION
期刊信息
  • 《计算机辅助设计与图形学学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学技术协会
  • 主办单位:中国计算机学会
  • 主编：鲍虎军
  • 地址：北京2704信箱
  • 邮编：100190
  • 邮箱：jcad@ict.ac.cn
  • 电话：010-62562491
  • 国际标准刊号：ISSN：1003-9775
  • 国内统一刊号：ISSN：11-2925/TP
  • 邮发代号:82-456
  • 获奖情况:
  • 第三届国家期刊奖提名奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:24752