Searching for "Resolution and pebbling games" – sorted by Relevance.
-
unknown title
- Resolution and Pebbling Games Nicola Galesi\Lambda Neil Thapen y Abstract We define a
- Add To MetaCart
-
Space Complexity in Propositional Calculus
- section 3) and noticed the connection between the clause complexity for resolution and the pebbling game
- Cited by 25 (6 self) – Add To MetaCart
-
Space Complexity In Propositional Calculus
- and the pebbling game on the graph of a derivation. Our goals in this paper are to generalize the natural notion
- Add To MetaCart

