
Tell your friends about this item:
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
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.
Media | Books Paperback Book (Book with soft cover and glued back) |
To be released | May 31, 2025 |
ISBN13 | 9781009611701 |
Publishers | Cambridge University Press |
Pages | 143 |
Dimensions | 320 g (Weight (estimated)) |
Show all