Search for "Gereon"

Satisfiability Modulo Theories
46 min

Satisfiability Modulo Theories

Using OS to solve hard problems

Durchmarsch von Rechts
60 min

Durchmarsch von Rechts

…und was wir dagegen tun können

Numerical Air Quality Modeling Systems
61 min

Numerical Air Quality Modeling Systems

a journey from emissions to exposure