Der Wettlauf um das Kochen-Specker-Theorem
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 für Hard- und Softwareindustrie.
Angenommen, Alice, Bob und Carla beantworten eine Frage. Jede der...
Zur Pressemeldung auf www.tuwien.at