Der Wettlauf um das Kochen-Specker-TheoremEin 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 Hardund Softwareindustrie. Angenommen, Alice, Bob und Carla beantworten eine Frage. Jede der drei Antworten ist entweder richtig oder falsch.
