Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Learn about a novel approach to proof complexity through a 25-minute conference talk that explores the intersection of lifting theorems and the sunflower lemma in computational complexity theory. Discover how colourful sunflowers provide new insights into lower bound techniques for Boolean functions and their applications in proof systems. Examine the joint research findings that demonstrate innovative methods for establishing separations between different proof systems using combinatorial structures. Explore the theoretical foundations and practical implications of this work in understanding the computational limits of various proof methodologies. Gain insights into cutting-edge research that bridges combinatorial mathematics and computational complexity theory through the lens of sunflower-based lifting techniques.
