论文部分内容阅读
命题逻辑公式的CNF范式的可满足性问题（sAT）是计算机科学的非常重要的核心问题，能否快速求解SAT问题是目前的研究热点之一。介绍Johnson算法、遗传算法和模拟退火算法，比较三种算法的特性，提出综合GA、SA算法优点的一种混舍遗传和模拟退火算法的思想。数值计算结果表明，相对于Johnson算法，采用启发式（SA、GA）算法可以显著地提高3-SAT问题解的质量和求解速度。