搜索筛选:
搜索耗时0.7832秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：姜咏江,陈跃,
来源：工业技术创新 年份：2016
布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句块和关联段等......
相关搜索：
