Anschließend an die "Einführung in SAT-Solver" stelle ich in diesem Vortrag die grundlegenden Algorithmen, Heurisitken 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.