Informationen zu k-SAT (Einführung, Grenzen, Methoden usw.)

Ich würde gerne wissen, wo ich mich für eine gute, sanfte Einführung in k-SAT wenden kann (dies kann für Mathematiker sein, die möglicherweise keinen guten Informatik-Hintergrund haben). Ich würde auch gerne Artikel kennenlernen, die möglicherweise aktuelle Methoden zur Lösung von k-SAT untersuchen oder erläutern. Schließlich interessieren mich die bekanntesten Methoden zur Lösung von k-SAT. Ich möchte eine Vorstellung vom besten Durchschnittsfall und dem besten Worst-Case-Verhalten bekommen.

Kurz gesagt, ich suche nach Artikeln, die jemandem in Mathematik (nicht in Informatik) helfen, viel mehr ein Experte für k-SAT zu werden.

Aus dem Lecture Note-Referenz-Thread haben wir dieses Dokument .

Dieses Umfragebuch, Problem der Erfüllbarkeit: Theorie und Anwendungen , eignet sich zur Einführung von k-SAT in Mathematiker. Es ist nicht sehr neu, aber immer noch eine sehr wertvolle Ressource.