Proof Complexity Generators
€71.90
Shipping in 4/5 days
Product Information
| ISBN | 9781009611701 |
|---|---|
| Publisher | Cambridge University Press |
| Price (excl. tax) | €67.83 |
| Tax | €4.07 |
| Price (incl. tax) | €71.90 |
| Availability | 1 unit in external warehouse |
Product Description
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.