Terms for subject Artificial intelligence containing propositional

English	Russian
backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
propositional logic formula	формула логики высказываний (Alex_Odeychuk)
propositional satisfiability	выполнимость булевых формул (boolean satisfiability Alex_Odeychuk)
propositional satisfiability	пропозициональная выполнимость (Microsoft Alex_Odeychuk)
propositional satisfiability problem	задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk)