Wie funktionieren SAT-Solver? (metanook19)
Ein Einblick in die Implementierung eines SAT-Solvers
Chaos Computer Club - archive feed · Jannis Harder
November 9, 201940m 53s
Audio is streamed directly from the publisher (cdn.media.ccc.de) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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/
Topics
metanook19292019