论文部分内容阅读
布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句块和关联段等概念，探索出了用确定法则快速求出SAT满足解的计算方法，为纯离散变量计算找到了一种新途径。
SAT问题子句消去法快速求解
【摘 要】
：
布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句块和关联段等
【机 构】
：
对外经济贸易大学离退休处,西安交通大学
【出 处】
：
工业技术创新
【发表日期】
：
2016年6期
其他文献
验瓶机作为一种专业性较强的设备，维护调试需要专业人员，提供远程监测就可以异地处理故障，高效方便。以互联网为基础的远程监测系统涉及到通信问题和安全性问题。通过对网络输入
全面提升实践能力是学生培养的重要环节之一。基于＂钢铁大学＂免费提供的网络炼钢平台,冶金工程专业构建了网络模拟炼钢实验教学系统,设置了高炉炼铁、转炉炼钢等6个实验教学项
项目名称:港口区网具厂项目建设必要性:该市是北部湾沿岸城市,海洋渔业是该市的主要产业之一,除拥有广西第二大渔港外,还拥有大小不一的众多小渔港,大小渔船5000多艘,年需各
随着全球化进程的加快，人们对机器翻译性能要求的日益增高，基于单一方法的机器翻译系统其质量很难满足人们需求。鉴于不同的机器翻译方法之间存在着优势互补的特点，因而将不同方
论述了地方矿业开发过程中所面临的可持续发展问题,即资源的可持续利用、地方矿业开发对区域可持续发展的影响及矿山本身的可持续发展.指出,地方经济腾飞后,应将支柱产业从资
磁控溅射技术越来越受到广泛应用。通过对全球磁控溅射领域的专利申请数据进行的检索、比较和分析,尤其重点关注并研究了该领域的专利申请量、申请人分布情况和技术改进方向,