A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Bøker - now publishers Inc - 9781601980847 - 25. oktober 2007
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Dieter van Melkebeek
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science

Få en e-post når varen er tilgjengelig
Har du en profil? Logg inn
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Surveys the recently discovered lower bounds for the time and space complexity of satisfiability and closely related problems. It overviews the state-of-the-art results on general deterministic, randomized, and quantum models of computation, and presents the underlying arguments in a unified framework.

128 pages

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 25. oktober 2007
ISBN13 9781601980847
Utgivere now publishers Inc
Antall sider 128
Mål 156 × 234 × 7 mm   ·   190 g
Språk Engelsk  

Mer med Dieter van Melkebeek

Vis alle

Se alt med Dieter van Melkebeek ( f.eks. Pocketbok )