1 paper
Lisa-Marie Jaser, Jacobo Toran
Analyzing refutations of the well known 0pebbling formulas Peb(G) we prove some new strong connections between pebble games and algebraic proof system, showing that there is a pa…