https://123dok.net/document/q5w6vdrq-satisfiability-modulo-theories-state-the-art-contributions-project.html