On the Automatability of Tree-Like k-DNF Resolution
Speaker:
Gaia Carenini, Susanna de Rezende
Date and Time:
Wednesday, August 6, 2025 - 3:30pm to 4:00pm
Location:
Fields Institute, Room 230
People and Contacts
Contacting the Institute, Staff, and Visiting Members of the Fields Institute.
Calendar and Events
Stay up to date with our upcoming events and news by viewing our calendar.