3 ms·
Would have been nice to see how their approach (GPU based fuzzing of SMT formulas) compares to traditional CPU solvers, did I miss it? Was this a one-off or is
by drdrey 3y ago
Would have been nice to see how their approach (GPU based fuzzing of SMT formulas) compares to traditional CPU solvers, did I miss it?
Was this a one-off or is there a follow up?
- jfmc 3y agoThey should compare with other multithreading and GPU approaches for SAT/SMT solving (like https://www.win.tue.nl/~awijs/articles/parafrost_gpu.pdf https://www.win.tue.nl/~awijs/articles/parafrost_gpu.pdf from Armin Biere, or other works from Mate Soos). There has been a lot of research in this direction. Other old HN thread (2017) with relevant comments https://news.ycombinator.com/item?id=13667380 https://news.ycombinator.com/item?id=13667380 from actual experts.
- bmc7505 3y agoAnother related thread from last month: https://news.ycombinator.com/item?id=36084461 https://news.ycombinator.com/item?id=36084461