https://123dok.org/document/zgw6v696-course-introduction-sat-smt-chapter-satisfiability-modulo-theories.html