Starting URL for newcomers into SAT/SMT:

https://sat-smt.codes/