【摘要】随着集成电路的飞速发展，对于集成电路的检测、验证等问题也显得更加复杂，这进一步促使了人们从传统的求解思路中脱离出来，投向一个新的领域——SAT。可满足性问题(SAT)已经被证明是一个NP问题，被广泛应用于模型检测（ModelChecking），形式化验证(Formalverification)，集成电路等价性验证(Integratedcircuitequivalenceverificati […]

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