https://sat-smt.codes/ is the best introductory to expert, and reference work I've ever read on SAT/SMT solvers