No. Title Author Year
1 From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk) Tzameret, Iddo 2020
2 Resolution with Counting: Dag-Like Lower Bounds and Different Moduli Part, Fedor et al. 2020
3 Proof Complexity Lower Bounds from Algebraic Circuit Complexity Forbes, Michael A. et al. 2016
4 Non-Commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs Li, Fu et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI