https://www.heise.de/news/Top500-der-Supercomputer-AMD-dreht-auf-China-macht-Pause-6121411.html
June 28, 2021 at 7:04:44 PM GMT+2 * - permalink -

- https://www.heise.de/news/Top500-der-Supercomputer-AMD-dreht-auf-China-macht-Pause-6121411.html

SMT Solving on an iPhone — James Bornholt
August 9, 2020 at 5:37:39 PM GMT+2 * - permalink -

- https://www.cs.utexas.edu/~bornholt/post/z3-iphone.html