Super-Critical Trade-offs in Resolution over Parities Through Lifting

Presented by Arkadev Chattopadhyay from the Tata Institute of Fundamental Research, this talk, in collaboration with Pavel Dvořák, will explore the intricate trade-offs in resolution concerning parities via the method of lifting. The event is scheduled fo