http://dbpedia.org/resource/Satisfiability_modulo_theories Satisfiability modulo theories