| Subject | English | Russian |
| AI. | propositional satisfiability | выполнимость булевых формул (boolean satisfiability Alex_Odeychuk) |
| AI. | propositional satisfiability | пропозициональная выполнимость (Microsoft Alex_Odeychuk) |
| AI. | propositional satisfiability problem | задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk) |