Andy Oertel försvarar sin avhandling i Datavetenskap med titeln "Certifying Combinatorial Optimization:
A Unified Approach Using Pseudo-Boolean Reasoning".

Opponent är professor emeritus Randal Bryant, Carnegie Mellon University, USA.

Disputationen kommer realtidsströmmas, men del av lokalen är undantagen realtidsströmningen.