...检验、等价性检查、自动测试向量生成等,都可以等价为布尔可满足不足来解决,这些不足能够规约为合取范式(Conjunction Normal Form, CNF)格式的布尔公式,找出该布尔公式的一个可满足解的相关技术被称为可满足性求解(satisfiabilit...
基于4个网页-相关网页
...等价性检查、自动测试向量生成等,都可以等价为布尔可满足不足来解决,这些不足能够规约为合取范式(Conjunction Normal Form, CNF)格式的布尔公式,找出该布尔公式的一个可满足解的相关技术被称为可满足性求解(satisfiabilit...
基于2个网页-相关网页