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

Jun Gu

Algorithms for the Satisfiability Problem

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 587 g   (Peso (estimado))

Mostrar tudo

Mais por Jun Gu