位置：成果数据库 > 会议 > 会议详情页
A fast counterexample minimization approach with refutation analysis and incremental SAT
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：10th Asia and South Pacific Design Automation Conference
  • 成果类型：会议
  • 会场：Shanghai, PEOPLES R CHINA
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Qin, Ying|Shen, Shengyu|Li, SiKun|
同会议论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 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 faster counterexample minimization algorithm based on refutation analysis
Minimizing counterexample of ACTL property
Minimizing counterexample with unit core extraction and incremental SAT