Wie funktionieren SAT-Solver? (metanook19)


Nov 09 2019 40 mins   2
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. about this event: https://nook-luebeck.de/talks/einfuehrung-in-sat-solver-2/