英语 ⇄ 俄语 +

DPLL algorithm 强调
人工智能	алгоритм Дэвиса-Патнема-Логемана-Лавленда (сокр. от "DavisЦPutnamЦLogemannЦLoveland algorithm" Alex_Odeychuk)