位置：成果数据库 > 期刊 > 期刊详情页
Tracking unsatisfiable subformulas from reduced refutation proof
  • ISSN号：1796-217X
  • 期刊名称：Journal of Software
  • 时间：0
  • 页码：42-49
  • 语言：英文
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Zhang, Jianmin|Li, Sikun|Shen, Shengyu|
同期刊论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 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
可满足性求解技术研究
一种求解不可满足子式的局部搜索算法
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