10% OFF

Proof Complexity Generators

by Jan (Charles University, Prague) Krajicek
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, June of 2025 ‧
60,83€
54,75€
10% OFF
free shipping
Sell ​​your book
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.

Proof Complexity Generators

by Jan (Charles University, Prague) Krajicek

Property Description
ISBN: 9781009611701
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: June of 2025
Language: English
Cover: Softcover
Pages: 134
Format: Book
Collection: London Mathematical Society Lecture Note Series
Categories: Books in English > Science > Mathematics
EAN: 9781009611701

BOOKS FROM THE SAME COLLECTION