Als «survey» getaggte Fragen

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...

Gibt es eine Datenbank mit bekannten Problemen mit Informationen zu deren Komplexität und Algorithmen, verwandten Problemen, Referenzen usw., die uns zur Verfügung steht? [Wenn nicht, können wir eins machen? Ich weiß, dass dies kein Thema ist, aber es wäre SO

Ich habe das berühmte Buch von Alon und Spencer über die probabilistische Methode in der Kombinatorik gelesen. Gibt es eine Umfrage oder Vorlesungsunterlagen zu den jüngsten Fortschritten und Beziehungen zu den folgenden komplexitätstheoretischen Themen dieser Methode über dieses Lehrbuch hinaus?...