The race for the Kochen-Specker TheoremA world record in solving satisfiability problems was achieved at the Vienna University of Technology - it is quite abstract, but the technology behind it is extremely important for hardware and software industries . Suppose Alice, Bob, and Carla answer a question. Each of the three answers is either correct or incorrect.
