---
layout: video
release_date:   2019-12-15 20:00:00 +0200
recording_date: 2019-11-09 16:15:00 +0200
duration: "00:45"
room: AMS1
title:  "Wie funktionieren SAT-Solver?"
subtitle: "Ein Einblick in die Implementierung eines SAT-Solvers"
persons:
- "Jannis Harder"
fahrplan_url: https://2019.nook-luebeck.de/talks/einfuehrung-in-sat-solver-2/
#https://www.uuidgenerator.net/
uid: efe0720c-5730-46db-b14a-92bd71de6d12
yt: "https://www.youtube.com/watch?v=5q44WTw9lCU"
mccc: "https://media.ccc.de/v/einfuehrung-in-sat-solver-2"
file: "https://video.chaotikum.net/nook19/2019-11-09-nook-wie-funktionieren-sat-solver.mov"
archive: "https://archive.org/details/2019-11-09-nook-wie-funktionieren-sat-solver"
event: f88922eb-871a-4ada-b952-588332887768
closedcaption: "https://git.chaotikum.org/chaotikum/video/subtitles/-/blob/main/nook19/2019-11-09-nook-wie-funktionieren-sat-solver.vtt"
cccomputergen: true
conferences:
- nook2019
- nook
---
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.