formula – phrases

Terms for subject Artificial intelligence containing formula | all forms

English	Russian
backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
check satisfiability of logical formulas	проверить выполнимость логических формул (Alex_Odeychuk)
check satisfiability of logical formulas	определить выполнимость логических формул (Alex_Odeychuk)
propositional logic formula	формула логики высказываний (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)
SMT formula	формула задачи выполнимости в теориях (Alex_Odeychuk)