Talks
Spring 2023
On Cutting Planes Proofs with Strengthening Rules
Thursday, March 23rd, 2023, 9:30 am–10:30 am
Speaker:
Jakob Nordström (University of Copenhagen)
Location:
Calvin Lab Auditorium
No abstract available.
