Leif Eriksson

Diese Studie konzentriert sich auf existenziell quantifizierte Variablen in QBF und hat effiziente Lösungen im Visier.

OpenMetBuoys liefern wichtige Daten zu den Wechselwirkungen zwischen Meereis und Wellen in der marginalen Eiszone.