| Subject | English | Russian |
| AI. | annual satisfiability modulo theories competition | ежегодный конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | automatic theorem prover for satisfiability modulo theories | автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | automatic theorem prover for satisfiability modulo theories problems | автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form | алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk) |
| progr. | boolean satisfiability | логическая выполнимость (ssn) |
| AI. | boolean satisfiability | выполнимость булевых формул (Alex_Odeychuk) |
| progr. | boolean satisfiability problem | задача логической выполнимости (ssn) |
| AI. | boolean satisfiability problem | задача выполнимости булевых формул (Alex_Odeychuk) |
| AI. | check satisfiability | проверить выполнимость (напр., формул в теориях Alex_Odeychuk) |
| AI. | check satisfiability of logical formulas | проверить выполнимость логических формул (Alex_Odeychuk) |
| AI. | check satisfiability of logical formulas | определить выполнимость логических формул (Alex_Odeychuk) |
| math. | circuit satisfiability | Задача о выполнимости схемы (Источник:  nashaucheba.ru Jumpow) |
| AI. | decide the satisfiability of | определять выполнимость (чего-либо Alex_Odeychuk) |
| math. | formula satisfiability | выполнимость формулы |
| AI. | international workshop on satisfiability modulo theories | международный семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
| math. | joint satisfiability | совместная выполнимость |
| AI. | propositional satisfiability | выполнимость булевых формул (boolean satisfiability Alex_Odeychuk) |
| AI. | propositional satisfiability | пропозициональная выполнимость (Microsoft Alex_Odeychuk) |
| AI. | propositional satisfiability problem | задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk) |
| progr. | restricted satisfiability problem | ограниченная проблема выполнимости (ssn) |
| AI. | satisfiability modulo theories | выполнимость формул в теориях (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk) |
| AI. | satisfiability modulo theories | задача выполнимости формул в теориях (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| AI. | satisfiability modulo theories competition | конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | satisfiability modulo theories problem | задача выполнимости формул в теориях (Alex_Odeychuk) |
| logic | satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (решает задачи выполнимости формул с учётом комбинации лежащих в их основе теорий galois.com Alex_Odeychuk) |
| AI. | satisfiability modulo theories solving | решение задач выполнимости в теориях (Microsoft Alex_Odeychuk) |
| AI. | satisfiability of logical formulas | выполнимость логических формул (Microsoft Alex_Odeychuk) |
| AI. | satisfiability of logical formulas over one or more theories | выполнимость логических формул в одной и более теориях (Alex_Odeychuk) |
| AI. | satisfiability of logical formulas with quantifiers | выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk) |
| 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) |
| math. | unitary satisfiability | унитарная выполнимость |
| AI. | workshop on satisfiability modulo theories | семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |