Hacker News
- GPU accelerated SMT constraint solving (2021) https://blog.osiris.cyber.nyu.edu/2021/01/11/gpu-accelerated-smt-constraint-solving/ 15 comments
Lobsters
- GPU accelerated SMT constraint solving https://blog.osiris.cyber.nyu.edu/2021/01/11/gpu-accelerated-smt-constraint-solving/ 4 comments assembly , compilers , performance , scaling