Media Summary: Proof systems for MaxSAT Ilario Bonacina, Universitat Politecnica de Catalunya Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Iddo Tzameret, Imperial College London ... TFNP Intersections and Feasible Disjunction Neil Thapen, Institute of Mathematics of the Academy of Sciences of the Czech ...
Oberwolfach 2413 Propositional Proof Complexity - Detailed Analysis & Overview
Proof systems for MaxSAT Ilario Bonacina, Universitat Politecnica de Catalunya Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Iddo Tzameret, Imperial College London ... TFNP Intersections and Feasible Disjunction Neil Thapen, Institute of Mathematics of the Academy of Sciences of the Czech ... Strength of the Dominance Rule Neil Thapen, Institute of Mathematics, Czech Academy of Sciences Tropical proof systems Edward A. Hirsch, Ariel University Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle Aaron Potechin, University of Chicago ...
Clique Is Hard on Average for Unary Sherali-Adams Kilian Risse, EPFL
