The blue pebbling cost and the space in tree-like and negative Resolution

Lisa-Marie Jaser, Jacobo Torán

The red-blue pebble game is a well known two-player game on graphs that has been used in the past as a tool to analyze complexity measures in several computation models as well as…