Thumbnail zum Video

Wie funktionieren SAT-Solver?

von Jannis Harder
Download

Schaue das Video auf

YouTube
media.ccc.de
archive.org

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) (Helfe uns bessere Untertitel zu erstellen)

Melden