Algorithms for the Satisfiability Problem - Jun Gu - Libros - Cambridge University Press - 9780521640411 - 1 de junio de 2020
En caso de que portada y título no coincidan, el título será el correcto

Algorithms for the Satisfiability Problem


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

Aún no valorado

Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.


250 pages

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 1 de junio de 2020
ISBN13 9780521640411
Editores Cambridge University Press
Páginas 250
Dimensiones 150 × 220 × 20 mm   ·   587 g   (Peso (estimado))

Mas por Jun Gu

Mostrar todo

Más del mismo editor