论文部分内容阅读
SAT问题,即合取范式可满足性问题,是问一个给定的合取范式是否存在一个真值指数派使之为真,即使之得到满足.SAT问题是第一个被证明的NP完全的问题.它在NP完全理论研究中具有重要意义.同时,SAT问题与人工智能领域中的各种推理方法有直接关系,如何快速求解SAT问题实际上已成为了人工智能研究的关键问题.除此之外,许多具有重要的商业用途的问题也要求助于SAT问题.快速求解SAT问题可带来巨大的经济效益.