Proof Complexity Generators, Paperback/***

This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted. Publisher: Cambridge University Press Author(s): Jan (Charles University, Prague) Krajicek Illustration(s): Worked examples or Exercises Number of pages: 134 Collection: London Mathematical Society Lecture Note Series Publication date: 2025 Dimensions: 228 x 153 x 9 Cover type: Paperback / softback