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.
reference-request
sat
survey
Matt Groff
quelle
quelle
Antworten:
Aus dem Lecture Note-Referenz-Thread haben wir dieses Dokument .
quelle
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.
quelle