首页>
外国专利>
Applying CNF simplification techniques for SAT-based abstraction refinement
Applying CNF simplification techniques for SAT-based abstraction refinement
展开▼
机译:将CNF简化技术应用于基于SAT的抽象细化
展开▼
页面导航
摘要
著录项
相似文献
摘要
The present embodiment keeps track of a set of resolution required for generating each one of the clauses added by the simplification method. This information is used by the method that generates the unsat core in order to extract the original clauses that generated the simplified clauses. This work integrates resolution based CNF simplification technique inside the SAT-based abstraction refinement scheme in a unique way that overcomes the difficulties.
展开▼