Podcasts Science Banff International Research Station (BIRS) Reversible Pebble Games and the Relation between Tree-like and General Resolution

Reversible Pebble Games and the Relation between Tree-like and General Resolution

Published: Jan. 23, 2020, 5:58 p.m.

Jacobo Toran speaking at the BIRS workshop 20w5144: Proof Complexity (Jan 19 - Jan 24). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.