This page shows all presentations of this author published in EasyChair Smart Slide.
Complexity of expander-based reasoning and the power of monotone proofs
Samuel Buss, Valentine Kabanets, Antonina Kolokolova and Michal Koucky