The Communications of the ACM article "The Silent (R)evolution of SAT" [1] gives an overview of some of the techniques used in SAT solvers. I believe it was po

The Communications of the ACM article "The Silent (R)evolution of SAT" [1] gives an overview of some of the techniques used in SAT solvers. I believe it was posted on HN fairly recently. [1] https://cacm.acm.org/magazines/2023/6/273222-the-silent-revolution-of-sat/fulltext https://cacm.acm.org/magazines/2023/6/273222-the-silent-revo...