Total space in resolution
From MaRDI portal
Publication:2829448
DOI10.1137/15M1023269zbMATH Open1402.03080WikidataQ61732563 ScholiaQ61732563MaRDI QIDQ2829448FDOQ2829448
Authors: Ilario Bonacina, Nicola Galesi, Neil Thapen 
Publication date: 28 October 2016
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- The relative efficiency of propositional proof systems
- Short proofs are narrow—resolution made simple
- Space Complexity in Propositional Calculus
- Space bounds for resolution
- On the complexity of resolution with bounded conjunctions
- A combinatorial characterization of resolution width
- Space complexity of random formulae in resolution
- Narrow proofs may be spacious: separating space and width in resolution
- Total space in resolution
- Pebble games, proof complexity, and time-space trade-offs
- Towards an optimal separation of space and length in resolution
- Total space in resolution is at least width squared
- A framework for space complexity in algebraic proof systems
- Space Complexity in Polynomial Calculus
- Towards an understanding of polynomial calculus: new separations and lower bounds (extended abstract)
- Space proof complexity for random 3-CNFs
- Unified Characterisations of Resolution Hardness Measures
Cited In (14)
- Resolution and the binary encoding of combinatorial principles
- Proof complexity and the binary encoding of combinatorial principles
- Total space in resolution is at least width squared
- Space proof complexity for random 3-CNFs
- Cumulative space in black-white pebbling and resolution
- Trade-offs between time and memory in a tighter model of CDCL SAT solvers
- Total space in resolution
- Space Complexity in Polynomial Calculus
- Supercritical space-width trade-offs for resolution
- Narrow proofs may be maximally long
- On space and depth in resolution
- A framework for space complexity in algebraic proof systems
- Space complexity of random formulae in resolution
- An Upper Bound on the Space Complexity of Random Formulae in Resolution
This page was built for publication: Total space in resolution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829448)
