DominikKleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :
https://www.youtube.com/watch?v=072y-d3iVWw
#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik
YouTube
Gesellschaft für Informatik eV@dompasch @KITInformatik Das war wirklich großartig!