satisilability（SAT）相关硕士博士期刊学术论文

为有界模型检验提出了改进的子句规则。在节点分类的基础上。首先对精简布尔电路表示进行逻辑化简，去掉功能冗余节点；然后识别、记录......