Terms for subject Artificial intelligence containing нормальный

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