| English | Russian |
| boolean satisfiability problem | задача выполнимости булевых формул (Alex_Odeychuk) |
| propositional satisfiability problem | задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk) |
| satisfiability modulo theories problem | задача выполнимости формул в теориях (Alex_Odeychuk) |
| solve a satisfiability problem | решать задачу выполнимости формул (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| solve a satisfiability problem | решать задачу выполнимости формул в теория (контекстуальный перевод на русс. язык Alex_Odeychuk) |