In recent years, the Boolean Satisfiability (SAT) Problem, which is a foundational problem of verification, has made a great advance.

• 本文分析了现有的电路可满足性验证工具的优缺点，针对验证中学习效率的瓶颈提出了改进的方法，能够更加合理地利用电路现有的信息。