Pages that link to "Item:Q1014444"
From MaRDI portal
The following pages link to A combinatorial characterization of treelike resolution space (Q1014444):
Displaying 12 items.
- Recursive properties of branching and BGG resolution (Q376931) (← links)
- The depth of resolution proofs (Q647405) (← links)
- Cliques enumeration and tree-like resolution proofs (Q1708271) (← links)
- On the complexity of resolution with bounded conjunctions (Q1885907) (← links)
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A characterization of tree-like resolution size (Q2444907) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- A Tutorial on Time and Space Bounds in Tree-Like Resolution (Q2821700) (← links)
- (Q3417719) (← links)
- On (simple) decision tree rank (Q6050134) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)