| English | Russian |
| annual satisfiability modulo theories competition | ежегодный конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| automatic theorem prover for satisfiability modulo theories | автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk) |
| automatic theorem prover for satisfiability modulo theories problems | автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk) |
| backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form | алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk) |
| boolean satisfiability | выполнимость булевых формул (Alex_Odeychuk) |
| boolean satisfiability problem | задача выполнимости булевых формул (Alex_Odeychuk) |
| check satisfiability | проверить выполнимость (напр., формул в теориях Alex_Odeychuk) |
| check satisfiability of logical formulas | проверить выполнимость логических формул (Alex_Odeychuk) |
| check satisfiability of logical formulas | определить выполнимость логических формул (Alex_Odeychuk) |
| decide the satisfiability of | определять выполнимость (чего-либо Alex_Odeychuk) |
| international workshop on satisfiability modulo theories | международный семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
| propositional satisfiability | выполнимость булевых формул (boolean satisfiability Alex_Odeychuk) |
| propositional satisfiability | пропозициональная выполнимость (Microsoft Alex_Odeychuk) |
| propositional satisfiability problem | задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk) |
| satisfiability modulo theories | выполнимость формул в теориях (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk) |
| satisfiability modulo theories | задача выполнимости формул в теориях (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| satisfiability modulo theories competition | конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories problem | задача выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (Alex_Odeychuk) |
| satisfiability modulo theories solving | решение задач выполнимости в теориях (Microsoft Alex_Odeychuk) |
| satisfiability of logical formulas | выполнимость логических формул (Microsoft Alex_Odeychuk) |
| satisfiability of logical formulas over one or more theories | выполнимость логических формул в одной и более теориях (Alex_Odeychuk) |
| satisfiability of logical formulas with quantifiers | выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk) |
| solve a satisfiability problem | решать задачу выполнимости формул (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| solve a satisfiability problem | решать задачу выполнимости формул в теория (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| workshop on satisfiability modulo theories | семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
