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

Dieter van Melkebeek
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
Recibe notificaciones sobre nuevos lanzamientos de Dieter van Melkebeek

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Más del mismo editor

Ver todo de Dieter van Melkebeek ( Ej. Paperback Book )