10% de desconto

Proof Complexity Generators

de Jan (Charles University, Prague) Krajicek
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, junho de 2025 ‧
60,83€
54,75€
10% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
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

de Jan (Charles University, Prague) Krajicek

Propriedade Descrição
ISBN: 9781009611701
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: junho de 2025
Idioma: Inglês
Encadernação: Capa mole
Páginas: 134
Tipo de produto: Livro
Coleção: London Mathematical Society Lecture Note Series
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9781009611701

LIVROS DA MESMA COLEÇÃO