scientific article; zbMATH DE number 1424047
From MaRDI portal
Publication:4945238
Recommendations
- scientific article; zbMATH DE number 1304340
- Space bounds for resolution
- Resolvability of spaces having small spread or extent
- Size-space tradeoffs for resolution
- Maximally resolvable lower density spaces
- Towards an optimal separation of space and length in resolution
- Time-space trade-offs in resolution: superpolynomial lower bounds for superlinear space
- scientific article; zbMATH DE number 4178083
- Lower space bounds for randomized computation
- Time-space tradeoffs in resolution, superpolynomial lower bounds for superlinear space
Cited in
(13)- Space complexity in propositional calculus
- An Upper Bound on the Space Complexity of Random Formulae in Resolution
- Towards an optimal separation of space and length in resolution
- Reversible pebble games and the relation between tree-like and general resolution space
- Cops-robber games and the resolution of Tseitin formulas
- Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space
- A combinatorial characterization of resolution width
- scientific article; zbMATH DE number 2086624 (Why is no real title available?)
- Total space in resolution
- Narrow proofs may be spacious, separating space and width in resolution
- A simplified way of proving trade-off results for resolution
- Space bounds for resolution
- Space complexity of random formulae in resolution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945238)
