切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
SAT求解器算法的改进研究
SAT求解器算法的改进研究
来源 :佳木斯大学学报:自然科学版 | 被引量 : 0次 | 上传用户:luannj
【摘 要】
:
研究提出一种增强范式演绎能力的方式来有效地简化子句库,达到裁剪大量搜索空间的目的,从而能缓解状态空间爆炸问题.利用求解器算法对SAT测试实例进行求解,实验表明:求解器通
【作 者】
:
张鑫
贾建华
陈彩云
张芳
【机 构】
:
同济大学电子与信息工程学院
【出 处】
:
佳木斯大学学报:自然科学版
【发表日期】
:
2016年1期
【关键词】
:
可满足性
演绎能力
冲突分析
子句简化
satisfiabilitydeductive powerconflict analysisclause simplif
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究提出一种增强范式演绎能力的方式来有效地简化子句库,达到裁剪大量搜索空间的目的,从而能缓解状态空间爆炸问题.利用求解器算法对SAT测试实例进行求解,实验表明:求解器通过增强范式演绎能力能有效地裁剪搜索空间,提高求解效率并有效缓解状态爆炸问题.
其他文献
聚苏氨酸修饰铅芯电极同时测定尿酸、黄嘌呤和次黄嘌呤
制备一种简单、低成本的聚合膜修饰电极,用于黄嘌呤(XA)、次黄嘌呤(HX)和尿酸(UA)的同时测定。单线扫描伏安法。在聚苏氨酸修饰铅芯电极上,XA,HX和UA的电化学氧化信号均得到
期刊
聚苏氨酸修饰铅芯电极
尿酸
黄嘌呤
次黄嘌呤
poly (threonine) modified pencil electrodesuric acidxanth
玉米根茬起铺机挖掘铲阻力功耗试验研究
以低功耗挖掘为目的,在对玉米根茬挖掘阻力功耗进行了土槽试验和测定,得到了单铲挖掘根茬时的阻力频谱。分析并确定了这种新型机具影响挖掘阻力功耗主次因素及最优组合。为玉米
期刊
玉米根茬
阻力测定
功耗
试验
在慢性睡眠剥夺中骨桥蛋白通过NF-kappaB通路对颞下颌关节的影响
目的探讨骨桥蛋白(OPN)在慢性睡眠剥夺(CSD)引起大鼠颞下颌关节(TMJ)结构变化中的作用。方法采用改良多平台法(MMPM)建立大鼠的慢性睡眠剥夺模型。180只雄性Wistar大鼠随机分为2组:对
期刊
慢性睡眠剥夺
颞下颌关节
骨桥蛋白
核转录因子kappa
B
Chronic sleep deprivation Temporomandibular join
顶管施工的环境影响有限元研究
建立了简化考虑顶管管节的地层模型,对某工程的施工过程进行了三维有限元分析,得到了地表在纵向和横向的变形曲线.研究了开挖面正面推力、周围土体摩擦力、注浆加固等影响因素对
期刊
数值模拟
顶管法
地表沉降
注浆加固
numerical simulation pipe jacking surface settlement grouting
复方皂矾丸防治癌症化疗后白细胞减少症80例
目的:探讨益气养阴,温肾补髓类中药配伍治疗化疗后白细胞减少症的疗效.方法:治疗组采用复方皂矾丸(西洋参、海马、皂矾等)防治本病80例,并设对照组鲨肝醇、肌苷治疗比较.结果
期刊
癌症
化学治疗
白细胞减少症
中医药疗法
复方皂矾丸
益气养阴
温肾补髓
一种改进的基于小波变换的数字图像隐藏算法研究与实践
数字图像隐藏是近年非常热门的研究领域,小波变换作为图像隐藏中比较先进的技术,在图像隐藏中得到广泛的应用.通过对基于小波变换方法的分析研究,探讨了一种改进的基于小波变
期刊
小波变换
数字
图像
隐藏
wavelet transform digital image hide.
ISM规则及实施
<正>1 关于ISM规则近年来海难事故频率居高不下,给人命、财产和海洋环境造成巨大的损失。据统计,在所有海难事故中,约80%是由人为因素引起的。为了加强对人为因素的控制,促进
期刊
船舶
安全营运
污染防止
ISM规则
试论管理信息系统(MIS)的实现
通过介绍一个成功的企业管理信息系统(MIS)实例,说明MIS的开发策略必须是超脱落后的管理水平,按先进的管理理论,现代化管理方法和管理程序开发高水平的MIS;开发MIS软件技术的关键首
期刊
管理信息系统
软件工程
开发策略
人机界面
数据流通
企业管理
MIS
Management Inforonation System Softwae engin
基于H2O2钙黄绿素催化效应的生物传感器测定鼠李糖
钙黄绿素(R)能发射强而稳定的荧光,在H2O2的氧化下,R被氧化为无荧光化合物(R’)使R的荧光信号猝灭。实验以鼠李糖(Rha)催化H2O2氧化R,发现体系的荧光信号剧烈猝灭,表明催化反
期刊
钙黄绿素
催化
鼠李糖
生物传感器
calceincatalysisrhamnosebiosensor
涠洲K油田复杂工况旋转尾管固井技术
南海西部的北部湾盆地涠洲K油田X1井是一口工况较为复杂的定向井,存在井斜大、裸眼段长、高温、储层压力衰竭带来的异常低压,同时具有较高的气油比等因素共同作用,给固井作业
期刊
旋转尾管固井
大斜度井
高温
压力衰竭
涠洲K油田
与本文相关的学术论文