Session 6B - Catalytic Approaches to the Tree Evaluation Problem

STOC 2020