Wie funktionieren SAT-Solver? von Jannis Harder

Ein Einblick in die Implementierung eines SAT-Solvers

Anschließend an die “Einführung in SAT-Solver” stelle ich in diesem Vortrag die grundlegenden Algorithmen, Heuristiken und Datenstrukturen aktueller SAT-Solver vor. Auch als Anwender kann dieses Wissen dabei helfen Probleme so zu formulieren, dass sie effizient gelöst werden können.

Ein Vortrag im Rahmen der Night of Open Knowledge (Nook) in Lübeck: Die NooK ist eine offene Vortragsveranstaltung die sich an ein technik- und gesellschaftsinteressiertes Publikum jedes Wissensgrads und jedes Alters richtet. Die NooK wird vom Chaotikum e.V. (https://chaotikum.org) aus Lübeck und der studentischen Gruppe MetaMeute der Uni Lübeck veranstaltet.

Mehr unter https://nook-luebeck.de/

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0). http://creativecommons.org/licenses/b...