SAT 求解器，0 深度分配
SAT Solvers, 0-depth assignments
在谈论 SAT 求解器时，例如 minisat 等，“0-depth”和 "CNF assignments" 的值是什么意思？这些值通常是各种 SAT 求解器信息输出的一部分。
零深度赋值是在 DPLL 搜索开始之前设置变量的值。 MiniSAT做的公式预处理（包含、自包含等）有时可以证明一个变量一定有一定的值。如果可以，MiniSAT 将在开始 DPLL 程序之前修复这些变量的值。
在谈论 SAT 求解器时，例如 minisat 等，“0-depth”和 "CNF assignments" 的值是什么意思？这些值通常是各种 SAT 求解器信息输出的一部分。
零深度赋值是在 DPLL 搜索开始之前设置变量的值。 MiniSAT做的公式预处理（包含、自包含等）有时可以证明一个变量一定有一定的值。如果可以，MiniSAT 将在开始 DPLL 程序之前修复这些变量的值。