A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables

1 pointsposted 9 hours ago
by khalilovshamil3
(github.com)

1 Comments