SAT解算器，0深度作业

Question

在谈论SAT求解器时，例如minisat之类的，“0-depth”和“CNF赋值”的含义是什么意思？这些值通常是各种SAT求解器信息输出的一部分。

Answer 1

零深度分配是在DPLL搜索开始之前设置变量的值。 MiniSAT执行的公式的预处理（包含，自我包含等）有时可以证明变量必须具有某个值。如果可以，MiniSAT将在开始DPLL程序之前修复此类变量的值。