而布尔可满足性(SAT)和最大可满足性(Max-SAT)是NP-Complete问题和NP难问题的一类，两者同等重要且更切合实际的组合优化问题。目前，求解布尔SAT的方法有很多，比如量子退火和经典的随机局部搜索(SLS)求解器。然而，它们都需要巨量步骤来解决困难的SAT问题，这将耗费大量的时间和精力。随着量子计算技术的发展，一个SA...
SAT狭义上是针对“寻找某一个可行解”或者“判断某个instance是否存在可行解”问题的，但通过“动态迭代...
布尔可满足性问题(SAT)求解的主要技术简单回顾,求解现状和未来挑战。摘自我在中国计算机大会“计算机软硬件系统安全性形式化验证”论坛上的报告。篇幅有限,不求全面,只提一下我觉得主要的一些内容。 补充: 还...
SAT在计算机科学中是非常重要的一个问题，无论在理论还是应用上经常看书时碰到它。前面看到了一个关于Sorting network问题的都用到了SAT solver。Sorting nine inputs requires twenty-five comparisons 文中证明了想把9个数排序最少需要25个比较器，24个是做不到的，证明过程中就用到SAT solver。（整个证明用的...