A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Livros - now publishers Inc - 9781601980847 - 25 de outubro de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science

Dieter van Melkebeek

Preço
£ 65,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 26 de mai - 5 de jun
Adicione à sua lista de desejos do iMusic

A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science

Surveys the recently discovered lower bounds for the time and space complexity of satisfiability and closely related problems. It overviews the state-of-the-art results on general deterministic, randomized, and quantum models of computation, and presents the underlying arguments in a unified framework.


128 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 25 de outubro de 2007
ISBN13 9781601980847
Editoras now publishers Inc
Páginas 128
Dimensões 156 × 234 × 7 mm   ·   190 g
Idioma English  

Mostrar tudo

Mais por Dieter van Melkebeek