[rotifer]

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-revo...