A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Libros - now publishers Inc - 9781601980847 - 25 de octubre de 2007
En caso de que portada y título no coincidan, el título será el correcto

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


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de octubre de 2007
ISBN13 9781601980847
Editores now publishers Inc
Páginas 128
Dimensiones 156 × 234 × 7 mm   ·   190 g
Lengua Inglés  

Mas por Dieter van Melkebeek

Mostrar todo