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

Proof Complexity Generators - London Mathematical Society Lecture Note Series

Krajicek, Jan (Charles University, Prague)

Price
$ 59.99
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 31 - Nov 11
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
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)
Released June 26, 2025
ISBN13 9781009611701
Publishers Cambridge University Press
Pages 134
Dimensions 153 × 228 × 9 mm   ·   206 g
Show all

More by Krajicek, Jan (Charles University, Prague)

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