【摘 要】
：
学习子句的删除在求解器的构成中是非常重要的。因为学习子句删除策略的“优劣”不仅影响BCP的效率,还影响内存的占用问题,为避免出现这些问题,很多学者做了大量的工作,提出
【机 构】
：
西南交通大学数学学院,西南交通大学唐山研究院
【基金项目】
：
国家自然科学基金资助项目(61673320),中央高校基本科研业务费专项资金项目(2682018ZT10)
论文部分内容阅读
学习子句的删除在求解器的构成中是非常重要的。因为学习子句删除策略的“优劣”不仅影响BCP的效率,还影响内存的占用问题,为避免出现这些问题,很多学者做了大量的工作,提出了很多良好的学习子句删除策略。然而当前的学习子句删除策略都有一个缺点:删除学习子句时有可能会删除在后续搜索过程中有很大作用的子句,因为不能确保每次删除的都是没有“价值”的子句。在充分考虑学习子句的长度和变量的决策层的基础上,本文提出基于学习子句长度和LBD的删除策略——LLBD策略,并形成算法,然后用该策略替换Glucose求解器中的删除策略
其他文献
目的探讨改良截石位在妇科腹腔镜手术中的应用效果。方法将146例妇科腹腔镜手术患者随机分为对照组和改良组各73例,对照组采用常规截石体位,将托腿架关节端置于腘窝处,托腿板
从历史背景和侧重要点两方面入手，对建筑工业化与住宅产业化进行了对比分析，并对我国住宅建筑主体建造工业化的项目进行了探索，总结了政府及企业应对住宅建筑主体建造工业化的建
利用有限元分析软件ANSYS对分别粘贴1层、2层、3层CFRP的钢筋混凝土梁建立简化模型,计算分析了三种加固梁在不同加载阶段的混凝土梁及CFRP的应力状况,研究结果表明：随着粘贴CF
目的研究依那普利叶酸片在H型高血压病防治中的临床应用效果。方法将83例轻中度原发性高血压且同型半胱氨酸（Hcy）水平〉10μmol／L的患者随机分为2组，观察组42例给予马来酸依那普
思维导图是一个开发思维的有效工具,将其应用于小学数学复习环节,有利于激发学生的思维,提高学生的数学思维能力,提升自我梳理知识、构建知识框架的能力。
借助三维非线性结构分析软件Perform-3D对望京搜侯中心T3塔楼进行大震下的动力弹塑性分析,考察了结构在实际地震作用下的动力响应及关键部位、关键构件的塑性发展情况,评价了
<正> 书写护理交班报告是每个护士的基本功,是医疗文件的一个重要组成部分,它可直接反映出护士的工作质量,起到督促、锻炼护士观察、分析病情的能力。正确书写交班报告,如实
传统的不均衡数据集处理方法存在人工设置特征繁琐、普适性差等缺陷,难以适用于海军军械不均衡文本数据集处理。针对此问题,本文提出一种基于biRNN模型的海军军械不均衡文本
瞄准点的寻优选取是导弹火力筹划的核心理论问题之一。针对此问题,本文基于矩形面目标毁伤面积计算设计评价函数,利用差分进化算法原理对面目标的瞄准点坐标进行实数编码,并