An improved time-space lower bound for tautologies
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1860652 (Why is no real title available?)
- A survey of lower bounds for satisfiability and related problems.
- Alternation-trading proofs, linear programming, and lower bounds (extended abstract)
- Relationships between nondeterministic and deterministic tape complexities
- Time-space lower bounds for satisfiability
- Time-space tradeoffs for satisfiability
Cited in
(4)
This page was built for publication: An improved time-space lower bound for tautologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652633)