
Conte aos seus amigos sobre este item:
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science
Dieter van Melkebeek
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science
Dieter van Melkebeek
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
Ver tudo de Dieter van Melkebeek ( por exemplo Paperback Book )