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
Los regalos de Navidad se podrán canjear hasta el 31 de enero
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