Terms containing search logic

Subject	English	Russian
AI.	backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
progr.	logic program example for linear search through lists	пример логической программы для линейного поиска в списке (ssn)
automat.	search logic	логика поиска (для сопоставления документов с поисковым предписанием)
math.	search logic	логика поиска