开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >SAT Solvers，0深度作业

问SAT Solvers，0深度作业
EN

Stack Overflow用户

提问于 2015-09-16 19:07:26

回答 1查看 90关注 0票数 2

例如，当谈到SAT解算器时，“0深度”和"CNF任务“的值意味着什么？这些值通常是各种SAT解算器输出信息的一部分。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2015-09-16 22:39:37

零深度赋值是在DPLL搜索开始之前设置变量的值。MiniSAT所做公式的预处理(包含、自包含等)有时可以证明变量必须有一定的值。如果可以，MiniSAT将在开始DPLL过程之前修复这些变量的值。

票数 3

EN

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

原文链接：

https://stackoverflow.com/questions/32616746

复制

相似问题