【摘 要】
：
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解算法关键因素之一,目前大多数分支策略都是基
【基金项目】
：
国家自然科学基金项目“基于矛盾体分离的动态自动演绎推理研究”(61673320)
论文部分内容阅读
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解算法关键因素之一,目前大多数分支策略都是基于VSIDS策略提出的,虽然存在很多分支策略,但仍不能满足实际需要。为此,针对求解SAT问题实例会中出现子句长度不一致的情况,提出一种新的分支策略,基于子句长度的分支策略(BSBCL),并通过实验验证其有效性。
其他文献
当前环卫企业纯电动压缩式垃圾车续航里程短、动力不足等问题突出,而传统的结构轻量化方案效果并不理想。为此,以寻求垃圾车压缩关键部件刮滑板的最优结构为研究目标,引入Hyp
情境教学法是新课改背景下给予学生真实体验、提升学生课堂参与感、激发学生学习兴趣的新式教学方法,可全面促进学生综合素质的发展。初中道德与法治课堂可以应用情境教学法,
为保证制动过程中轮毂电机电动汽车的制动控制效果,充分利用电机再生制动控制精准高、响应迅速的优势,对再生-液压复合制动系统的制动性能进行了数学建模与仿真分析。首先,建
文章针对港口牵引车车架纵梁裂纹问题进行综合剖析。首先应用故障树法列举导致纵梁裂纹的可能因素,通过原材料因素、生产过程因素、设计因素和特殊工况等四方面逐一分析筛选,
杭州某家大医院在2014年前计划招录340名护士，报名的虽有700多人，但和前几年每次超千人的数据相比，报名人数整整少了三分之一。浙大一院护理部主任冯志仙说，护士的就业率是现在所
推进财政管理体制改革是党的十六届三中全会提出的完善社会主义市场经济体制的一项重大决定。如何加快推进我市财政改革?结合河源的实际，我认为，基本思路是：坚持一个目标，实现“
作为政府与企业沟通的桥梁,中介组织在沟通信息、维护行业或地区企业的共同利益、维护市场秩序、反映企业的意愿方面将发挥重要的作用，同时，也将为企业开拓国际市场提供更好地
目的探讨米非司酮配伍米索前列醇不同给药途径对终止孕10～16周妊娠的效果.方法实验组30例,米非司酮口服、米索前列醇阴道给药;对照组40 例,米非司酮及米索前列醇均口服,比较两
通常，近视患者只能靠普通眼镜或是隐形眼镜来矫正视力，使光线焦点落在视网膜中央，从而能够看清物体。但此前曾有研究指出，如果视网膜四周部分的焦点对不准，近视依然会恶化。为此，日