Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
DPLL
|
all forms
|
exact matches only
Subject
English
Russian
AI.
DPLL
algorithm
алгоритм Дэвиса-Патнема-Логемана-Лавленда
(сокр. от "DavisЦPutnamЦLogemannЦLoveland algorithm"
Alex_Odeychuk
)
Get short URL