CNF公式相关硕士博士期刊学术论文 - 搜论网

CNF公式相关论文

基于MiniSAT的命题极小模型计算方法

计算命题公式的极小模型在人工智能推理系统中是一项必不可少的任务.然而,即使是正CNF(conjunctive normal form)公式,其极小模型......

期刊

极小模型 SAT求解器 CNF公式极小归约极小模型分解

树分解算法在可满足性问题中的应用研究

图G=(V,E)的一个树分解是将结点集V的子集作为树T的节点,使得在树T上任意一条路径的两个端节点之间的交集包含于该路径上的任意一......

学位

树分解 CNF公式树宽求解难度线性CNF公式

看过本文同时还关注