Talks
Spring 2023
Connections Between QBF Proof Complexity and Circuit Complexity
Thursday, March 23rd, 2023, 11:30 am–12:00 pm
Speaker:
Olaf Beyersdorff (Friedrich Schiller University Jena)
Location:
Calvin Lab Auditorium
No abstract available.
