An der Universität Freiburg werden sogenannte SAT-Solver entwickelt. Mit ihrer Hilfe kann beim Design von Computerchips die Fehlerhäufigkeit drastisch reduziert werden.
29 июл 2024