The 2CNF Boolean formula satisfiability problem and the linear space hypothesis (Q6098146)
From MaRDI portal
scientific article; zbMATH DE number 7695011
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The 2CNF Boolean formula satisfiability problem and the linear space hypothesis |
scientific article; zbMATH DE number 7695011 |
Statements
The 2CNF Boolean formula satisfiability problem and the linear space hypothesis (English)
0 references
12 June 2023
0 references
2CNF Boolean formula satisfiability
0 references
parameterized decision problem
0 references
sub-linear-space computability
0 references
linear space hypothesis
0 references
short reduction
0 references
syntactic NL
0 references
0 references
0 references
