imo this is the pdf that many people like me used to learn SAT/SMT.