Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases (Q2946392)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases |
scientific article |
Statements
Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases (English)
0 references
16 September 2015
0 references
Boolean formula
0 references
satisfiability algorithm
0 references
average-case lower bound
0 references
random restriction
0 references
0 references
0 references
