The 2CNF Boolean formula satisfiability problem and the linear space hypothesis (Q6098146)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The 2CNF Boolean formula satisfiability problem and the linear space hypothesis |
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
