-
在结果中检索

检索结果分析

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

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
一种基于扩展规则的#SAT求解系统被引量：17
《软件学报》2009年第7期1714-1725,共12页殷明浩 林海 孙吉贵 
国家自然科学基金Nos.60573067,60773097;国家高等学校博士学科点专项科研基金No.20050183065;东北师范大学青年基金No.20070601~~
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有...
关键词：扩展规则 模型计数 知识编译 加权模型计数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部