Complexity results on DPLL and resolution (Q5277743)
From MaRDI portal
scientific article; zbMATH DE number 6743987
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity results on DPLL and resolution |
scientific article; zbMATH DE number 6743987 |
Statements
Complexity results on DPLL and resolution (English)
0 references
12 July 2017
0 references
Davis-Putnam
0 references
NP-completeness
0 references
propositional satisfiability
0 references
