位置：成果数据库 > 会议 > 会议详情页
A faster counterexample minimization algorithm based on refutation analysis
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：Design, Automation and Test in Europe Conference and Exhibition (DATE 05)
  • 成果类型：会议
  • 会场：Munich, GERMANY
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Shen, SY|Li, SK|Qin, Y|
同会议论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目会议论文
Finding unsatisfiable subformulas with stochastic method
A heuristic local search algorithm for unsatisfiable cores extraction
Localizing errors in counterexample with iteratively witness searching
Debugging complex counterexample of hardware system using control flow distance metrics
Synthesizing complementary circuits automatically
极小SMT不可满足子式提取算法
A fast counterexample minimization approach with refutation analysis and incremental SAT
Minimizing counterexample of ACTL property
Minimizing counterexample with unit core extraction and incremental SAT