Search for person "Jannis Kirschner"

Ein Algorithmus für alle Drehpuzzles
74 min

Ein Algorithmus für alle Drehpuzzles

Einführung in die algorithmische Gruppentheorie

Live: 20 Years FSFE
29 min

Live: 20 Years FSFE

The long way for software freedom

Einführung in SAT-Solver
78 min

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

Wie funktionieren SAT-Solver?
40 min

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

CR202 - Ist das schon alles?
120 min

CR202 - Ist das schon alles?

Wie man Crippleware von Anti-Features heilen kann