Information and Communication Technology - News

drei Personen an der TU Wien

Ein Weltrekord beim Lösen von Erfüllbarkeitsproblemen gelang an der TU Wien – er ist recht abstrakt, aber die Technologie dahinter ist äußerst wichtig…