Parallel solving model for quantified boolean formula based on machine learning

来源 :Journal of Central South University | 被引量 : 0次 | 上传用户:zs001444
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance in QBF parallel solving system,and the
其他文献
Based on the vehicle track coupling dynamics theory, a new spatial dynamic numerical model of vehicle track subgrade coupling system was established considering
长期以来,信用风险是银行业,乃至整个金融业的最主要的风险形式。在我国,由于历史原因,金融机构对于信用风险的度量和管理研究较少,我国金融机构应该在学习国外先进的科学的度量和
氧化铝的溶解率的决心是在铝电解的古典问题之一。能测量氧化铝的溶解率的一个新奇方法被介绍。氧化铝的溶解率上的因素的效果用透明石英电镀用液和图象分析技术直觉地并且圆
随着对节约能源与保护环境的要求的不断提高,建筑维护结构的保温技术也在目益加强,尤其是外墙保温技术得到了长足的发展,并成为我国一项重要的建筑节能技术。目前,在建筑中常使用
一个绿房顶是在屋顶上支持植被生长的一个专业化房顶系统。这种技术很快为大楼作为一种持续设计选择正在获得流行。为了贡献绿色的理解,与冷冬季和雪在区域给装上顶部,所在地的
会计监督在经济监督体系中处于十分重要的地位,但近年来这一监督体系开始显现出一些问题,突出表现在会计信息失真、会计工作中违纪、违法行为屡查不绝,使现行的会计监督体系面临
调用承认控制(CAC ) 和为活动通讯的资源保留(RR ) 是保证系统效率和作为收音机光谱在一个很少见的资源为不同服务要求的服务(QoS ) 的质量的二个重要因素。一个新计划被建议
摘要:导致天平示值改变的缘由非常多,而且很是繁琐。这也是导致调试活动无法有效进行的关键缘由。本文对示值变动性的调修进行分析。
随着我国市场经济的发展和企业外部环境的变化,企业的资产减值现象频繁发生。近年来,随着经济环境的日益复杂和技术条件的不断变化,资产减值问题已经引起各国会计理论界和实务界
喇嘛甸油田粘土矿物含量较高,储层敏感性严重,另外,所使用的完井液受加重剂材料的限制,远不能满足注聚而造成的地层高压对射孔完井作业过程中防喷的要求。通过开展完井液配方