CNF公式相关论文
计算命题公式的极小模型在人工智能推理系统中是一项必不可少的任务.然而,即使是正CNF(conjunctive normal form)公式,其极小模型......
图G=(V,E)的一个树分解是将结点集V的子集作为树T的节点,使得在树T上任意一条路径的两个端节点之间的交集包含于该路径上的任意一......
通过对遗传算法的改进，引入了聚类排序选择算子，将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题，同时加快了算法的收敛程度，最后......
布尔可满足性问题是理论计算机科学中的核心问题,人们一直致力于寻找CNF公式实例难解的本质,通过限定CNF公式的结构,如子句长度、......
一个图G=(V,E)的树分解是将结点集V的子集作为树T的节点,使得在T上任意一条路径上的两个端节点的交集包含于该路径上的任意一个节......
