Recent work has extended the SAT solver algorithms to work with propositions containing arithmetic expressions; these are the SMT solvers.
Πρόσφατες εργασίες έχουν επεκτείνει  τους αλγόριθμους SAT να δουλεύουν με προτάσεις που περιέχουν αριθμητικές εκφράσεις - αυτές είναι οι λύτες SMT .