English | Russian |
backtracking algorithm | алгоритм с возвратом (из кн.: Вирт Н. Алгоритмы и структуры данных 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) |