合取范式相关论文
约束满足问题是计算机科学、数学和物理学等多个学科的热点研究问题,命题公式的可满足性问题（The Satisfiability Problem,SAT）是最......
组合测试是一种科学有效地软件测试方法,它能在保证软件质量的前提下,以较少的测试用例检测待测软件系统中各个变量以及它们之间的......
学位
算法是计算机科学中最核心的内容,自从有计算机以来,它始终是这门学科的研究热点内容。就在计算机科学分支众多的今天,每个分支的......
命题变元及其否定统称为文字，文字的析取称为子句，子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1，则称该公式可......
可满足性问题(Satisfiability Problem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法.文章根......
差别矩阵约简算法是粗集属性约简的重要方法,简化算法能省去生成、存储差别矩阵的中间环节,减少时空运算,是一种实用方法.指出简化......
