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.
I have a question about the book:
‘Proof Complexity Generators - Krajicek, Jan (Charles University’.
Fill in the form below.
We will respond as fast as possible.
