Wie funktionieren SAT-Solver?
Schaue das Video auf
09.11.2019
15.12.2019
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.
Lizenz:
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0).
Download Untertitel
(automatisch erstellt)