{1562} revision 0 modified: 12-30-2021 00:29 gmt

Modern SAT solvers: fast, neat and underused (part 1 of N)

A set of posts that are worth re-reading.