Conte aos seus amigos sobre este item:
Algorithms for the Satisfiability Problem Jun Gu
Algorithms for the Satisfiability Problem
Jun Gu
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)) |