-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=模型计数 "
共 条 记 录，以下是1-10

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
两种新的基于扩展规则#SAT问题求解算法被引量：2
《东北大学学报（自然科学版）》2019年第5期630-634,646,共6页吕帅 张桐搏 王强 刘磊 
国家重点研究发展计划项目(2017YFB1003103);国家自然科学基金资助项目(61502197;61503044;61763003);吉林省科技发展计划项目(20180101053JC)
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样...
关键词：自动推理 扩展规则 模型计数 极大项空间 启发式策略 
基于扩展规则的启发式#SAT求解算法被引量：4
《软件学报》2018年第11期3517-3527,共11页王强 刘磊 吕帅 
国家自然科学基金(61300049;61402195;61502197;61503044);教育部高等学校博士学科点专项科研基金(201200 61120059);吉林省自然科学基金(20180101053JC);吉林省青年科研基金(20140520069JH;20150520058JH)~~
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解器的深入研究,发现选择规约子句的顺序对极大项空间的大小有着较大的影响,因此提出两种加速#SAT求解的启...
关键词：扩展规则 模型计数 启发式算法 极大项空间 规约子句 
结合扩展规则重构的#SAT问题增量求解方法被引量：4
《软件学报》2015年第12期3117-3129,共13页贾凤雨 欧阳丹彤 张立明 刘思光 
国家自然科学基金(61272208;61133011;61402196;61003101;61170092);国家教育部博士点专项基金(2010 0061110031);中国博士后科学基金(2013M541302);吉林省科技发展计划(20101501;20140520067JH)~~
#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系...
关键词：扩展规则 模型计数 极大项相交集 互补表 增量方法 
基于扩展规则的模型计数与智能规划方法被引量：22
《计算机研究与发展》2009年第3期459-469,共11页赖永 欧阳丹彤 蔡敦波 吕帅 
国家自然科学基金项目(607730097);教育部高等学校博士学科点专项科研基金项目(20050183065)~~
提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方...
关键词：自动推理 扩展规则 命题可满足问题 模型计数 Conformant规划 
最坏情况下#3-SAT问题最小上界被引量：3
《计算机研究与发展》2011年第11期2055-2063,共9页周俊萍 殷明浩 周春光 翟延冬 王康平 
国家自然科学基金项目(60673099;60773097;60803102;60873146)
最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上...
关键词：最坏情况 上界 #3 SAT 复杂性分析 模型计数 
基于模式回溯的#WS(≠)快速定界算法被引量：2
《小型微型计算机系统》2020年第12期2494-2499,共6页翟治年 卢亚辉 俞坚 潘志刚 周武杰 
国家自然科学基金面上项目(61972357)资助;浙江省重点研发计划项目(2019C03135)资助;浙江省教育厅科研项目(Y201737476)资助。
WS(≠)是互斥约束工作流可满足性的量化问题,与第三方环境中有重要意义的资源弹性密切相关.为克服其求解性能瓶颈,本文利用模式回溯法的解空间压缩特性和两层求解机制,提出了一种真实可行解的数量定界方法.它对模式回溯法的结构进行扩展...
关键词：工作流 授权 互斥约束 资源分配 可满足性 模型计数 
基于格局检测的并行模型计数方法
《吉林大学学报（工学版）》2020年第4期1443-1448,共6页李壮 刘磊 张桐搏 吕帅 
国家重点研发计划项目(2017YFB1003103);国家自然科学基金项目(61300049,61763003);吉林省自然科学基金项目(20180101053JC,20190201193JC);吉林大学研究生创新基金项目(101832018C025)。
在经典的可满足性问题求解中,针对处理模型数较少的实例,SWcc迭代法和SWcc优化增量法与完备的模型计数方法相比,求解适用性更高,但SWcc迭代法和SWcc优化增量法均为串行求解方法,没有对解空间进行剪枝、化简等处理。本文基于此设计了基...
关键词：自动推理 局部搜索 模型计数 格局检测 并行框架 
基于格局检测的模型计数方法被引量：2
《软件学报》2020年第2期395-405,共11页贺甫霖 刘磊 吕帅 牛当当 王强 
国家自然科学基金(61300049,61763003);吉林省自然科学基金(20180101053JC).
模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,很多现实问题都可以规约为模型计数进行求解.目前,常用的模型计数求解器主要有Cachet与sharp SAT,它们均采用完备方法且具有高效的求解能...
关键词：模型计数 局部搜索 格局检测 
混合exactly-one约束的模型计数研究
《东北大学学报（自然科学版）》2022年第4期463-469,共7页韩淑婷 赖永 刘杰 
国家自然科学基金资助项目(61976050);吉林省自然科学基金资助项目(20190103005JH).
模型计数是求给定命题公式的模型数,是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中,存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式,再调用模型计数器求解.这种...
关键词：exactly-one约束 模型计数 二元约束传播 合取范式 C2D 
六种常见的“球”模型计数分析与相关概率
《高考（文科版）》2008年第5期8-9,共2页刘景鹏 
在古典概率求解问题中,有一类重要而常见的模型:盒中投球与袋中摸球的概率计算问题.由于“球”是否可分辨,盒中盛球数量是否受限以及“球”是否全部放入等条件的制约,使得这类概率计算显得扑朔迷离,真假难辨!从而使很多同学感到这部分...
关键词：模型计数 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部