rdfs:label |
"DPLL algorithm"@en"algoritmo de Davis-Putnam-Logemann-Loveland"@eo"Algoritmo DPLL"@es"الگوریتم DPLL"@fa"Algorithme DPLL"@fr"DPLLアルゴリズム"@ja"DPLL-algoritme"@nl"algorytm DPLL"@pl"Algoritmo DPLL"@pt"DPLL-Алгоритм"@ru"ДПЛЛ алгоритам"@sr"DPLL алгоритм"@uk"DPLL"@it"DPLL算法"@zh |