| Information | |
|---|---|
| has gloss | eng: The DPLL/Davis-Putnam-Logemann-Loveland algorithm is a complete, backtracking-based algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i.e. for solving the CNF-SAT problem. |
| lexicalization | eng: DPLL algorithm |
| lexicalization | eng: DPLL-Algorithm |
| instance of | (noun) a precise rule (or set of rules) specifying how to solve some problem algorithm, algorithmic program, algorithmic rule |
| Meaning | |
|---|---|
| Italian | |
| has gloss | ita: Il DPLL (Davis-Putnam-Logemann-Loveland) è un algoritmo completo, basato sul backtracking , utilizzato per decidere la soddisfacibilità booleana di formule di logica proposizionale in forma normale congiuntiva (CNF), i.e. per risolvere il problema CNF-SAT. |
| lexicalization | ita: DPLL |
| Dutch | |
| has gloss | nld: Het DPLL-algoritme (Davis-Putnam-Logemann-Loveland algoritme) is een algoritme voor het onderzoeken van de vervulbaarheid van een propositie in conjunctieve normaalvorm (dit probleem is ook bekend als CNF-SAT). Het algoritme werd gepubliceerd in 1962 door Martin Davis, Hilary Putnam, George Logemann en Donald W. Loveland als een verbetering van een eerder algoritme van Davis en Putnam uit 1960. Het algoritme maakt gebruik van backtracking indien nodig. |
| lexicalization | nld: DPLL-algoritme |
| Portuguese | |
| has gloss | por: O algoritmo DPLL/Davis-Putnam-Logemann-Loveland é um completo algoritmo baseado em backtracking(re-leitura ou voltar atrás) para decidir a satisfatibilidade das fórmulas de lógica proposicional na forma normal clausal, isto é, para solucionar o problema SAT. |
| lexicalization | por: algoritmo DPLL |
| Russian | |
| has gloss | rus: DPLL-Алгоритм — определяет, явяется ли логическая формула, представленная в нормальной конъюнктивной форме, истинной, и предназначен, таким образом, для решения задачи выполнимости булевых формул. Первая версия алгоритма была разработана Мартином Дэвисом и Хилари Патнем , которая позже стала основой алгоритма, описанного Дэвисом, Логеманом и Лавлендом (отсюда название DPLL). |
| lexicalization | rus: DPLL-Алгоритм |
| Castilian | |
| lexicalization | spa: Algoritmo DPLL |
| Chinese | |
| lexicalization | zho: DPLL算法 |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint