【摘要】命题公式的可满足问题是首个被证明为NP的问题，而且是计算机科学中很多领域的重要问题，包括计算机科学基础理论、人工智能、数理逻辑。在1997年和2003年人工智能会议上提出了SAT问题面临的十大挑战性问题，在2001年和2007年两年都对当时的SAT问题现状进行了完整的总结。这十大挑战性问题的提出对SAT问题的理论研究和算法改进起到了很强的推动作用。目前的SAT问题主要应用在电子设计自动化中 […]