AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
