Applying CNF simplification techniques for SAT-based abstraction refinement

• 1. SAT问题求解外包过程中的CNF公式数据保护方法 [P] . 中国专利： CN104123503B . 2017.02.15
• 2. SAT问题求解外包过程中的CNF公式数据保护方法 [P] . 中国专利： CN104123503A . 2014-10-29
• 3. Applying CNF simplification techniques for SAT-based abstraction refinement [P] . 美国专利： US7519931B1 . 2009-04-14

  机译： 将CNF简化技术应用于基于SAT的抽象细化

• 4. Iterative abstraction using SAT-based BMC with proof analysis [P] . 美国专利： US7742907B2 . 2010-06-22

  机译： 使用基于SAT的BMC和证据分析进行迭代抽象

• 5. Iterative abstraction using SAT-based BMC with proof analysis [P] . 美国专利： US2004230407A1 . 2004-11-18

  机译： 使用基于SAT的BMC和证据分析进行迭代抽象

• 1. Deadlock detection using abstraction refinement [J] . 曾红卫 上海大学学报：英文版 . 2010,第001期
• 2. Deadlock detection using abstraction refinement [J] . ZENG Hong-wei 上海大学学报（英文版） . 2010,第001期
• 3. The evolution and refinement of vasoepididymostomy techniques [J] . Peter T Chan 亚洲男性学杂志（英文版） . 2013,第001期
• 4. Simplified heavy metal staining techniques demonstrated with Fast Plant leaf tissue [J] . HARRISJOSEPHB, THOMASG．GUILLIAMS, 等 细胞研究：英文版 . 1992,第001期
• 5. Path directed abstraction and refinement in SAT-based design debugging [C] . Keng Brian, Veneris Andreas Design Automation Conference (DAC), 2012 49th ACM/EDAC/IEEE . 2012
• 6. Applying abstraction to master complexity: The comparison of abstraction ability in computer science majors with students in other disciplines. [D] . Hill, Jonathan H. 2007
• 7. Multivariate cross-classification: applying machine learning techniques to characterize abstraction in neural representations [O] . Jonas T. Kaplan, Kingson Man, Steven G. Greening 2015
• 8. 1 Path Directed Abstraction and Refinement for SAT-Based Design Debugging [O] . Brian Keng, Graduate Student Member, Andreas Veneris, 2014
• 9. Experiments with SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework [R] . Chauhan, P. , Clarke, E. , Kroening, D. 2004

• 1. Two Efficient Techniques to Simplify the Excitation Setting Problem in R-FDTD Algorithm [J] . 刘波 ,高本庆 ,杨仕明 . 北京理工大学学报：英文版 . 2003,第3期
• 2. 基于CNF权重的求解SAT问题的新算法 [C] . 王美华 ,郝志峰 . 第一届中国Rough集与软计算学术研讨会 . 2001
• 3. 一个基于CNF约束的可满足问题简化的预处理解决器 [A] . 李涛 . 2006