【摘 要】
：
最大可满足性问题（MaxSAT）是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的
【基金项目】
：
国家自然科学基金（51306133）, 武汉科技大学校基金（2015XZ031）
论文部分内容阅读
最大可满足性问题（MaxSAT）是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝率和算法性能.在已有的工作基础上,针对环型结构冲突集进行分析,找到与步长大于2的环型结构冲突集等价的新子句集,并利用整数规划证明了新子句集和冲突集的MaxSAT等价性.该环型扩展推理规则产生的新3元子句亦可以提高冲突集数,提高下界.在Maxsatz2013算法的基础上实现了
其他文献
本文从现象学意识视角对英国著名小说家狄更斯的《远大前程》进行了深刻解读,通过分析各种人物的多重、复杂意识,进而窥探到作者狄更斯本身的多元、异质的精神世界。
笔者自拟金铃失笑汤治疗虚证胃痛，疗效满意，现报道如下：1 临床资料1224例中，慢性胃炎828例，胃及十二指肠溃疡396例：男796例，女428例；病程最短5个月，最长21a；做胃镜检查614例，钡餐透视265
在老龄化的严峻形势下,老年人居住环境的不完善尤为凸显。本文以社会调查问卷为基础,以概率与数理统计方法为指导,以老年人工程学和无障碍设计理论为依据,分析设计特性与定性
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
摩洛哥农林渔业部近日表示,摩洛哥的椰枣创收20亿迪拉姆。据悉,椰枣在摩洛哥东部的绿洲城镇的经济活动中起着核心作用,椰枣收入约占绿洲地区农业收入的60%,而摩洛哥有200多万
坚守语文正道,是语文教研活动的方向;创新教研形式,是新时代教研活动的必然出路;倡导教师读书,是教师可持续发展的源头活水;提升教研质效,是教学研究与培训的永恒追求。
文化资源作为我国历史发展进程中的宝贵财富,若能融入地方特色内涵,将有助于实现优秀文化的有效传承。文章简要分析了传承优秀文化的价值以及现状,并通过开发特色校本课程、