Proof Complexity Generators
71,90 €
Envío en 4/5 dias
Información del producto
| ISBN | 9781009611701 |
|---|---|
| Editorial | Cambridge University Press |
| Precio (sin IVA) | 67,83 € |
| Impuestos | 4,07 € |
| Precio (IVA incluido) | 71,90 € |
| Disponibilidad | 1 Unidad En almacén externo |
Descripción del producto
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.