Terms containing DPLL

Subject	English	Russian
tech.	decision-directed DPLL	система цифровой ФАПЧ с решающей обратной связью
AI.	DPLL algorithm	алгоритм Дэвиса-Патнема-Логемана-Лавленда (сокр. от "DavisЦPutnamЦLogemannЦLoveland algorithm" Alex_Odeychuk)