Terms for subject Artificial intelligence containing backtracking

English	Russian
automatic backtracking	автоматический поиск с возвратом (Alex_Odeychuk)
automatic backtracking	автоматический перебор с возвратами (Alex_Odeychuk)
automatic backtracking	автоматический перебор с возвратом (Alex_Odeychuk)
backtracking algorithm	алгоритм с возвратом (из кн.: Вирт Н. Алгоритмы и структуры данных Alex_Odeychuk)
backtracking-based search	поиск с возвратом (Alex_Odeychuk)
backtracking-based search algorithm	алгоритм поиска с возвратом (for deciding ... – для решения ... Alex_Odeychuk)
backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
backtracking-based search process	процесс поиска с возвратом (Alex_Odeychuk)
built-in backtracking	встроенный механизм поиска с возвратом (Alex_Odeychuk)
recursive descent with backtracking	рекурсивный спуск с возвратами (Alex_Odeychuk)
recursive descent with backtracking	метод рекурсивного спуска с возвратами (Alex_Odeychuk)
recursive descent with backtracking	нисходящий разбор с возвратами (Alex_Odeychuk)