DPLL algorithm الإنجليزية (Q4377484)
algorithm for solving the CNF-SAT problem الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | DPLL algorithm |
algorithm for solving the CNF-SAT problem |
|
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
instance of الإنجليزية
has part(s) الإنجليزية
inception الإنجليزية
author الإنجليزية
Commons category الإنجليزية
image الإنجليزية
BabelNet ID الإنجليزية
Microsoft Academic ID الإنجليزية
named after الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- enwiki DPLL algorithm
- eswiki Algoritmo DPLL
- fawiki الگوریتم DPLL
- frwiki Algorithme DPLL