Proof Complexity Generators
€ 71,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9781009611701 |
|---|---|
| Editora | Cambridge University Press |
| Preço (iva excl.) | € 67,83 |
| Imposto | € 4,07 |
| Preço (iva inc.) | € 71,90 |
| Disponibilidade | 2 unidades em armazém externo |
Descrição do Produto
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.