Solving SAT problem by heuristic polarity decision-making algorithm (Q2465749)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving SAT problem by heuristic polarity decision-making algorithm |
scientific article |
Statements
Solving SAT problem by heuristic polarity decision-making algorithm (English)
0 references
7 January 2008
0 references
SAT problem
0 references
DPLL
0 references
complete algorithm
0 references
decision-making
0 references
