位置：成果数据库 > 会议 > 会议详情页
极小SMT不可满足子式提取算法
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：中国计算机辅助设计与图形学会议2008
  • 成果类型：会议
  • 会场：大连
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： 沈胜宇|张建民|李思昆|
同会议论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 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
A fast counterexample minimization approach with refutation analysis and incremental SAT
A faster counterexample minimization algorithm based on refutation analysis
Minimizing counterexample of ACTL property
Minimizing counterexample with unit core extraction and incremental SAT