【摘 要】
：
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解算法关键因素之一,目前大多数分支策略都是基
【基金项目】
：
国家自然科学基金项目“基于矛盾体分离的动态自动演绎推理研究”(61673320)
论文部分内容阅读
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解算法关键因素之一,目前大多数分支策略都是基于VSIDS策略提出的,虽然存在很多分支策略,但仍不能满足实际需要。为此,针对求解SAT问题实例会中出现子句长度不一致的情况,提出一种新的分支策略,基于子句长度的分支策略(BSBCL),并通过实验验证其有效性。
其他文献
当前环卫企业纯电动压缩式垃圾车续航里程短、动力不足等问题突出,而传统的结构轻量化方案效果并不理想。为此,以寻求垃圾车压缩关键部件刮滑板的最优结构为研究目标,引入Hyp
情境教学法是新课改背景下给予学生真实体验、提升学生课堂参与感、激发学生学习兴趣的新式教学方法,可全面促进学生综合素质的发展。初中道德与法治课堂可以应用情境教学法,
为保证制动过程中轮毂电机电动汽车的制动控制效果,充分利用电机再生制动控制精准高、响应迅速的优势,对再生-液压复合制动系统的制动性能进行了数学建模与仿真分析。首先,建
文章针对港口牵引车车架纵梁裂纹问题进行综合剖析。首先应用故障树法列举导致纵梁裂纹的可能因素,通过原材料因素、生产过程因素、设计因素和特殊工况等四方面逐一分析筛选,
目的探讨米非司酮配伍米索前列醇不同给药途径对终止孕10～16周妊娠的效果.方法实验组30例,米非司酮口服、米索前列醇阴道给药;对照组40 例,米非司酮及米索前列醇均口服,比较两
通常，近视患者只能靠普通眼镜或是隐形眼镜来矫正视力，使光线焦点落在视网膜中央，从而能够看清物体。但此前曾有研究指出，如果视网膜四周部分的焦点对不准，近视依然会恶化。为此，日