Solving SAT problem by heuristic polarity decision-making algorithm (Q2465749)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5223826
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Solving SAT problem by heuristic polarity decision-making algorithm |
scientific article; zbMATH DE number 5223826 |
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
0.7972635626792908
0 references
0.7790771126747131
0 references
0.7759358882904053
0 references
0.7710924744606018
0 references
