Checking the Fraction of Satisfying Assignments for 3CNF

Learn about checking the fraction of satisfying assignments for 3CNF formulas in this 2-hour seminar talk delivered by Alexander Kozachinsky at the prestigious Kolmogorov Seminar on computational and descriptional complexity. Explore the detailed exposition of research findings based on arxiv paper 2107.02748, which delves into the mathematical foundations and computational methods for analyzing satisfiability in 3CNF formulas. Gain insights from this academic presentation that continues the rich tradition of the Kolmogorov Seminar, established by the renowned mathematician Andrey Kolmogorov in 1979, focusing on advanced topics in computational complexity theory.