Search for person "Jannis" returned 7 results

74 min
Ein Algorithmus für alle Drehpuzzles
Einführung in die algorithmische Gruppentheorie

40 min
Wie funktionieren SAT-Solver?
Ein Einblick in die Implementierung eines SAT-Solvers

78 min