Talks
Spring 2023
Lifting to Parity Decision Trees via Stifling (with applications to proof complexity)
Monday, March 20th, 2023, 3:30 pm–4:30 pm
Speaker:
Arkadev Chattopadhyay (Tata Institute of Fundamental Research)
Location:
Calvin Lab Auditorium
No abstract available.
