首页
标签
2-satisfiability
从现有解决方案到 2-SAT 的生成解决方案
2-SAT变量值
我知道 2 SAT 可以在多项式时间内求解，找出强连通分量。对 3SAT 做同样的事情怎么样？
恒定输入如何影响问题的 SAT 表述？
2-SAT相关算法的多项式算法