(Q2030088)
Statements
1962
0 references
Davis-Putnam-Logemann-Loveland algorithm
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(14 entries)
- dewiki DPLL-Algorithmus
- enwiki DPLL algorithm
- eswiki Algoritmo DPLL
- fawiki الگوریتم DPLL
- frwiki Algorithme DPLL
- huwiki DPLL algoritmus
- itwiki DPLL
- jawiki DPLLアルゴリズム
- nlwiki DPLL-algoritme
- ptwiki Algoritmo DPLL
- ruwiki DPLL
- srwiki ДПЛЛ алгоритам
- ukwiki DPLL алгоритм
- zhwiki DPLL算法