Search for person "Jannis Harder"

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

• 40 min
• 2019-11-09
• 57
• Jannis Harder

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

• 78 min
• 2019-11-09
• 78
• Jannis Harder

Künstliche Korrespondenz: Wie man nichtmenschliche Schreiberlinge entlarvt

• Netzwerke, Security, Hard- & Software
• 59 min
• 2020-02-22
• 141
• Jannis Vamvas

Swiss Cybervoting PIT(falls)

• All about computers ChaosWest
• 18 min
• 2019-12-27
• 441
• Jannis Kirschner

Short Messenger

• 5 min
• 2019-09-29
• 155
• Benny, Jannis, Niklas, Niklas, Lennard and Jacob

DaDaDaDemo

• 5 min
• 2016-10-16
• 74
• Jannis, Joris, Anna, Klara, Hannah and Lukas