| Subject | Russian | English |
| AI. | автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for SMT problems |
| AI. | автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk) |
| math. | выполнимость условий для двойственной задачи | dual feasibility |
| math. | выполнимость условий для прямой задачи | primal feasibility |
| AI. | ежегодный конкурс решателей задач выполнимости формул в теориях | annual satisfiability modulo theories competition (Alex_Odeychuk) |
| math. | задача выполнимости | satisfiability problem |
| AI. | задача выполнимости | SAT (булевых формул Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул | SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул | propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул | boolean satisfiability problem (Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул в k-конъюнктивной нормальной форме | k-SAT (Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул в конъюнктивной нормальной форме | SATCNF (Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул в 2-конъюнктивной нормальной форме | 2-SAT (Alex_Odeychuk) |
| AI. | задача выполнимости формул в теориях | SMT (сокр. от "satisfiability modulo theories"; задача выполнимости в теориях – это задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми в информатике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| AI. | задача выполнимости формул в теориях | satisfiability modulo theories (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| AI. | задача выполнимости формул в теориях | SMT problem (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk) |
| AI. | задача выполнимости формул в теориях | SMT (сокр. от "satisfiability modulo theories" Alex_Odeychuk) |
| AI. | задача выполнимости формул в теориях | satisfiability modulo theories problem (Alex_Odeychuk) |
| progr. | задача логической выполнимости | boolean satisfiability problem (ssn) |
| AI. | компилятор на основе решателя задач выполнимости булевых формул | SAT compiler (Alex_Odeychuk) |
| AI. | конкурс решателей задач выполнимости формул в теориях | satisfiability modulo theories competition (Alex_Odeychuk) |
| AI. | международный семинар по решению задач выполнимости формул в теориях | international workshop on satisfiability modulo theories (Alex_Odeychuk) |
| AI. | объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях | objective means of comparing SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| AI. | прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях | advance in SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| AI. | решатель задач выполнимости булевых формул | SAT solver (Alex_Odeychuk) |
| progr. | решатель задач выполнимости формул в комбинации теорий | SMT solver (Alex_Odeychuk) |
| AI. | решатель задач выполнимости формул в теориях | satisfiability modulo theories solver (Alex_Odeychuk) |
| AI. | решатель задач выполнимости формул в теориях | SMT solver (SMT – сокр. от "satisfiability modulo theories"; Microsoft Alex_Odeychuk) |
| progr. | решатель задач выполнимости формул с учётом лежащих в их основе теорий | SMT solver (IBM Alex_Odeychuk) |
| AI. | решать задачу выполнимости формул | solve a satisfiability problem (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| AI. | решать задачу выполнимости формул в теория | solve a satisfiability problem (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| AI. | решение задач выполнимости в теориях | satisfiability modulo theories solving (Microsoft Alex_Odeychuk) |
| AI. | семинар по решателям задач выполнимости формул в теориях | SMT workshop (Alex_Odeychuk) |
| AI. | семинар по решению задач выполнимости формул в теориях | workshop on satisfiability modulo theories (Alex_Odeychuk) |
| AI. | совместимый решатель задач выполнимости формул в теориях | conforming SMT solver (Alex_Odeychuk) |
| AI. | соревнование решателей задач выполнимости формул в теориях | SMT-COMP (сокр. от "SMT competition" Alex_Odeychuk) |
| AI. | соревнование решателей задач выполнимости формул в теориях | SMT competition (Alex_Odeychuk) |
| AI. | соревнование решателей задач выполнимости формул в теориях | SMT solver competition (Alex_Odeychuk) |
| AI. | соревнования решателей задач выполнимости формул в ограничениях | SMT competition (Alex_Odeychuk) |
| AI. | формула задачи выполнимости в теориях | SMT formula (Alex_Odeychuk) |
| AI. | функциональные возможности решателей задач выполнимости формул в теориях | capabilities of SMT solvers (Alex_Odeychuk) |
| AI. | эталонная задача для решателя задач выполнимости формул в теориях | SMT benchmark problem (Alex_Odeychuk) |
