论文部分内容阅读
布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句块和关联段等概念，探索出了用确定法则快速求出SAT满足解的计算方法，为纯离散变量计算找到了一种新途径。
SAT问题子句消去法快速求解
【摘 要】
：
布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句块和关联段等
【机 构】
：
对外经济贸易大学离退休处,西安交通大学
【出 处】
：
工业技术创新
【发表日期】
：
2016年6期
其他文献
中共十六届三中全会作出的<关于完善社会主义市场经济体制若干问题的决定>,明确提出了"探索建立政策性农业保险制度".根据中央的要求,作为全国唯一种植业保险的试点地区,淮安
验瓶机作为一种专业性较强的设备，维护调试需要专业人员，提供远程监测就可以异地处理故障，高效方便。以互联网为基础的远程监测系统涉及到通信问题和安全性问题。通过对网络输入
2012年10月8日上午,安徽长江钢铁股份有限公司烧结烟气脱硫项目竣工及煤气综合利用发电工程项目开工仪式隆重举行。这两项节能减排工程的竣工和开工,标志着该公司在提高循环
全面提升实践能力是学生培养的重要环节之一。基于＂钢铁大学＂免费提供的网络炼钢平台,冶金工程专业构建了网络模拟炼钢实验教学系统,设置了高炉炼铁、转炉炼钢等6个实验教学项
常州市武进区农业科学研究所地处太湖之滨，拥有土地230亩，核定编制18人，现有在职科技人员12名，其中推广研究员3人，中级职称3人，初级职称6人。先后被评为“常州市先进集体”和“江苏
项目名称:港口区网具厂项目建设必要性:该市是北部湾沿岸城市,海洋渔业是该市的主要产业之一,除拥有广西第二大渔港外,还拥有大小不一的众多小渔港,大小渔船5000多艘,年需各
随着全球化进程的加快，人们对机器翻译性能要求的日益增高，基于单一方法的机器翻译系统其质量很难满足人们需求。鉴于不同的机器翻译方法之间存在着优势互补的特点，因而将不同方
论述了地方矿业开发过程中所面临的可持续发展问题,即资源的可持续利用、地方矿业开发对区域可持续发展的影响及矿山本身的可持续发展.指出,地方经济腾飞后,应将支柱产业从资
磁控溅射技术越来越受到广泛应用。通过对全球磁控溅射领域的专利申请数据进行的检索、比较和分析,尤其重点关注并研究了该领域的专利申请量、申请人分布情况和技术改进方向,