4 ms·Modern SAT solvers: fast, neat and underused (part 1 of N)1 points by Liriel 6y agompweiher 6y ago(2018). I remember reading it then and liking it very much.