1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…