Talks
Spring 2023
A Lower Bound for k-DNF Resolution on Random CNF Formulas via Expansion
Monday, March 20th, 2023, 2:30 pm–3:00 pm
Speaker:
Anastasia Sofronova (EPFL)
Location:
Calvin Lab Auditorium
No abstract available.
