本研究探讨了概率和因果推理中的可满足性问题的复杂性，填补了理论空白。通过固定结构因果模型和小模型的研究，揭示了不同设置下的复杂性特征，尤其在紧凑边际化条件下，结果对理解可满足性复杂性及其应用具有重要意义。
DPLL算法用于解决逻辑公式的可满足性问题，通过单元传播和纯文字消除等技术简化问题，系统探索赋值以判断解的存在。尽管最坏情况下时间复杂度为指数级，但在许多实际SAT问题中表现高效，广泛应用于自动定理证明和人工智能等领域。
完成下面两步后，将自动完成登录并继续当前操作。
