姜咏江1，陈跃2 （1. 对外经济贸易大学离退休处，北京朝阳，100013； 2. 西安交通大学，陕西西安，710000）

摘  要 ：布尔可满足性问题（SAT）是最基本的NPC问题，直接涉及到集成电路设计优化、生物 基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法，运用限位数、子句 块和关联段等概念，探索出了用确定法则快速求出SAT满足解的计算方法，为纯离散变量计算 找到了一种新途径。

关键词：SAT问题；限位数；子句消去法；子句块；关联段；多项式时间复杂度

注:此为发表在《工业技术创新》2016年 12月 第03卷 第06期