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

Krajicek, Jan (Charles University, Prague)
Proof Complexity Generators - London Mathematical Society Lecture Note Series

Price
$ 60.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 29 - Jun 3

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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)
Released June 26, 2025
ISBN13 9781009611701
Publishers Cambridge University Press
Pages 134
Dimensions 153 × 228 × 9 mm   ·   206 g

More by Krajicek, Jan (Charles University, Prague)

Show all

Mere med samme udgiver

See all of Krajicek, Jan (Charles University, Prague) ( e.g. Paperback Book and Hardcover Book )