Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
Work
Year: 2009
Type: article
Abstract: The width of a resolution proof is the maximal number of literals in any clause of the proof. The space of a proof is the maximal number of clauses kept in memory simultaneously if the proof is only a... more
Source: SIAM Journal on Computing
Author Jakob Nordström
Institution KTH Royal Institute of Technology
Cites: 33
Cited by: 68
Related to: 10
FWCI: 4.808
Citation percentile (by year/subfield): 86.06
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green