Space bounds for resolution (Q1854472): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
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