Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

Jannis Harder

Video Player

Close

Media error: Format(s) not supported or source(s) not found

Download File: https://ftp.agdsn.de/ccc//events/metanook/metanook-2019/h264-hd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_hd.mp4Download File: https://ftp.fau.de/cdn.media.ccc.de//events/metanook/metanook-2019/webm-hd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_webm-hd.webmDownload File: https://ftp.agdsn.de/ccc//events/metanook/metanook-2019/h264-sd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_sd.mp4Download File: https://mirror.selfnet.de/CCC//events/metanook/metanook-2019/webm-sd/metanook19-29-deu-Wie_funktionieren_SAT-Solver_webm-sd.webm

15

30

00:00

00:00 | 00:00

• None

Use Up/Down Arrow keys to increase or decrease volume.

1.00x

• 2.00x
• 1.50x
• 1.25x
• 1.00x
• 0.75x

• deu 1080p (mp4)
• deu 1080p (webm)
• deu 576p (mp4)
• deu 576p (webm)

• 40 min
• 2019-11-09
• 2020-02-18
• 65
• Fahrplan

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.

Download

Tags