Fortell venner om denne varen:
Algorithms for the Satisfiability Problem Jun Gu
Har du en profil? Logg inn
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 1. juni 2020 |
| ISBN13 | 9780521640411 |
| Utgivere | Cambridge University Press |
| Antall sider | 250 |
| Mål | 150 × 220 × 20 mm · 587 g (Estimert vekt) |