A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables (github.com) 1 points by khalilovshamil3 12h ago ↗ HN
1 comment
[ 0.25 ms ] story [ 9.8 ms ] thread