| Subject | English | Russian |
| progr. | boolean satisfiability problem | задача логической выполнимости (ssn) |
| AI. | boolean satisfiability problem | задача выполнимости булевых формул (Alex_Odeychuk) |
| AI. | propositional satisfiability problem | задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk) |
| progr. | restricted satisfiability problem | ограниченная проблема выполнимости (ssn) |
| IT | satisfiability problem | задача о возможности выполнения всех условий |
| IT | satisfiability problem | проблема выполнимости (в булевой алгебре) |
| IT | satisfiability problem | проблема выполнимости |
| math. | satisfiability problem | задача выполнимости |
| AI. | solve a satisfiability problem | решать задачу выполнимости формул (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| AI. | solve a satisfiability problem | решать задачу выполнимости формул в теория (контекстуальный перевод на русс. язык Alex_Odeychuk) |