Algorithms for the Satisfiability Problem - Jun Gu - Bøker - Cambridge University Press - 9780521640411 - 1. juni 2020
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Algorithms for the Satisfiability Problem


Få en e-post når varen er tilgjengelig
Har du en profil? Logg inn
Legg til iMusic ønskeliste
eller

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)

Mer med Jun Gu

Vis alle