Search for "Sai"

Wie funktionieren SAT-Solver?
40 min

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

Einführung in SAT-Solver
78 min

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

spispy: SPI flash device emulation
32 min

spispy: SPI flash device emulation

Open source tools for flash emulation and research

Quantum Mechanics
57 min

Quantum Mechanics

A Gentle Introduction

State of Ceph
41 min

State of Ceph

What's new in Nautilus and what's coming next?

Vom Ich zum Wir
53 min

Vom Ich zum Wir

Gesellschaftlicher Wandel in den Reden im Bundestag