k-SATに関する情報（はじめに、範囲、メソッドなど）

k-SATの入門書をどこに向ければよいか知りたいのですが（これは、コンピューターサイエンスのバックグラウンドが不十分な数学者向けかもしれません）。また、k-SATを解くために使用されている現在の方法を調査または説明している可能性のある論文も知りたいです。最後に、k-SATを解くための最もよく知られた方法に興味があります。最高の平均的なケースと最高の最悪のケースの振る舞いを知りたいのですが。

要するに、数学（コンピュータサイエンスではない）の誰かがk-SATの専門家になるのに役立つ論文を探しています。

講義ノート参照スレッドから、このドキュメントを入手しました。

この調査書「充足可能性問題：理論と応用」は、k-SATを数学者に紹介するのに適しています。最近ではありませんが、非常に貴重なリソースです。