开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >SAT正常结膜形态

问SAT正常结膜形态
EN

Stack Overflow用户

提问于 2021-04-02 02:19:50

回答 1查看 23关注 0票数 0

你认为有没有可能为一个类似大小的SAT问题编写一个命题公式，它的解决方案允许我们找到一个满足起始公式的估值？如果是，请解释您将使用的方法。提前谢谢。

EN

回答 1

Stack Overflow用户

发布于 2021-04-09 15:40:37

这个问题似乎已经在这里得到了回答：How to convert a propositional formula to conjunctive normal form (CNF)? SAT求解器通常以dimcas格式的CNF作为输入。

票数 0

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/66909679

复制

相似问题