DPLL algorithm (Q2030088)
Jump to navigation
Jump to search
algorithm for solving the CNF-SAT problem
- Davis-Putnam-Logemann-Loveland algorithm
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | DPLL algorithm |
algorithm for solving the CNF-SAT problem |
|
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算法