INFO:
An Introduction to SAT and SMT