Proof Complexity Generators - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Books - Cambridge University Press - 9781009611701 - May 31, 2025
In case cover and title do not match, the title is correct

Proof Complexity Generators - London Mathematical Society Lecture Note Series

Krajicek, Jan (Charles University, Prague)

Price
CA$ 81.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 10 - 12
Add to your iMusic wish list

Proof Complexity Generators - London Mathematical Society Lecture Note Series

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

More by Krajicek, Jan (Charles University, Prague)