【摘 要】
：
MaxSAT问题的研究已成为一个比较热门的研究领域，与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一组赋值使得可
【机 构】
：
东北师范大学计算机科学与信息技术学院
【基金项目】
：
国家自然科学基金(61370156,61403076,61403077,61300099);高等学校博士学科点专项科研基金(20120043120017);新世纪优秀人才支持计划(NCET-13-0724);吉林省大型科学仪器装备共享共用专项项目(20150623024TC-03);吉林省青年科研基金项目(20160520104JH)资助
论文部分内容阅读
MaxSAT问题的研究已成为一个比较热门的研究领域，与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一组赋值使得可满足的子句数目最少.在求解某些组合优化问题时，将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度，因此该文提出了一种求解MinSAT问题的加强式格局检测与子句加权局部搜索算法.该算法在随机行走算法的基础上融入了子句加权策略，并根据MinSAT问题本身的特征对格局检测策略进行了加强.加强式格局检
其他文献
聚乳酸(PLA)来源于玉米、木薯等生物质原料,其制品可完全生物降解,且具有较高的力学强度及较好的生物相容性。然而,聚乳酸材料耐热性差、机械性能较脆等缺点制约了其实际应用
民心网上群众诉求,都是最基本的群众诉求,教育部门所要解决的,也都是最基本的群众诉求问题。作为具体的办案人,具体的操作人,我的经验是：群众诉求办理工作必须得到局长的认可
介绍了转子轴颈推力盘表面腐蚀凹坑沟槽缺陷基本情况，并分析其产生的原因，对应用电刷镀与微焊技术修复的情况也作了介绍和评价。
中国古典艺术表现形式普遍比较含蓄,所谓"引而不发,显而不露",这与我国民族传统文化和审美意趣是密不可分的。许多传统园林设计常常采用欲露则藏的手法,通过各种设计方式"藏
在刑事诉讼中,照片是一种被广泛使用的证据。然而,对照片的证据种类归属问题实务界很少有人关注,理论界大多把照片归入物证、书证或者视听资料,理论研究的缺陷无法对司法实践
α-淀粉酶是一类水解淀粉α-1,4糖苷键从而将其水解为糊精、低聚糖和单糖的酶。随着应用需求的增加及生物技术的愈加成熟,提高其稳定性及水解活力具有重要的意义。本论文以目前用于工业生产的来源于Cytophaga sp.和解淀粉芽孢杆菌(Bacillus amyloliquefaciens)的淀粉酶基因CamyA和BamyA为材料,成功实现了在枯草芽孢杆菌中的异源表达,通过理性设计有效提高其热稳定性和水
求解类习题最关键而主要的任务便是对未知数的求出、探寻及鉴别.数学中的量、关系、某个对象、物体及其位置或者形式等都是可能要求的未知数.求速度、路程、时间、价格及利润
【正】2012年四川省南充市中考数学试卷共计22个小题,满分100分,考试时间为90分钟.其中,单项选择题10个,填空题4个,解答题8个.6月14日至17日,笔者有幸参加了2012年中考数学阅
开放经济条件下远期外汇市场发展问题研究邢毓静在开放经济条件下，从外汇市场运行的通常情形看，远期外汇交易是有效的外汇市场中必不可少的组成部分。远期交易为进出口商和资本
本文结合今年元月起实施的《中华人民共和国城市房地产管理法》,就城市房地产交易中有关房地产转让的法律关系、禁止性规定、转让条件、房屋占用范围内的土地使用权同时转让