The research of this paper is based on the Boolean Satisfiability (SAT) Problem of combinational circuit.

• 本文研究工作是针对可满足问题（SAT）在组合电路验证和测试中的应用展开的。