Algorithms for the Satisfiability Problem - Jun Gu - Livros - Cambridge University Press - 9780521640411 - 1 de junho de 2020
Caso a capa e o título não sejam correspondentes, considere o título como correto

Algorithms for the Satisfiability Problem


Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar
Adicione à sua lista de desejos do iMusic

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


250 pages

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de junho de 2020
ISBN13 9780521640411
Editoras Cambridge University Press
Páginas 250
Dimensões 150 × 220 × 20 mm   ·   587 g   (Peso (estimado))

Mais por Jun Gu

Mostrar tudo