有关k-SAT的信息（简介，范围，方法等）

我想知道在哪里可以对k-SAT进行良好而温和的介绍（这可能适用于可能没有良好计算机科学背景的数学家）。我还想知道一些论文，它们可能会调查或解释当前用于解决k-SAT的方法。最后，我对解决k-SAT的最著名方法感兴趣。我想了解最好的平均情况和最好的最坏情况的行为。

简而言之，我正在寻找可以帮助数学（而非计算机科学）领域的人更多地成为k-SAT专家的论文。

从“讲义”参考主题中可以找到该文档。

这本调查书《可满足性问题：理论与应用》适合将k-SAT引入数学家。它不是最近，但仍然是非常宝贵的资源。