Space bounds for resolution (Q1854472): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Jacobo Toran / rank | |||
Property / author | |||
Property / author: Jacobo Toran / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/inco.2001.2921 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2071347463 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Space complexity in propositional calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Short proofs are narrow—resolution made simple / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4218929 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many hard examples for resolution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4228469 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4251071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The intractability of resolution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4315881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4071451 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lower bounds for resolution and cutting plane proofs and monotone computations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4527043 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4344138 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4699289 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4945238 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5593816 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hard examples for resolution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4179039 / rank | |||
Normal rank |
Latest revision as of 11:12, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Space bounds for resolution |
scientific article |
Statements
Space bounds for resolution (English)
0 references
14 January 2003
0 references