搜索筛选:
搜索耗时0.0351秒,为你在为你在61,042,058篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：莫孝玲,,
来源：贵州大学 年份：2019
可满足性问题备受计算机科学众多领域的关注,不同形式的组合约束问题都可以在多项式时间内转化为可满足性问题。一种广泛用于研究可满足性问题的方法是将其转换成因子图的形式表示,因子图作为一种推理变元边缘概率的工具,用于各种信息传播算法中,有效的提高了求......
[期刊论文] 作者：莫孝玲,许道云,
来源：计算机科学与探索 年份：2018
为分析合取范式(conjunctive normal form,CNF)公式的赋值空间在可满足性情况下的结构性质,引入一个变元翻转次数控制的参数k,k不小于1且不大于n,n为公式中出现的变元个数,以...
相关搜索：
