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

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

Dieter van Melkebeek

Pris
€ 71,99

Bestillingsvarer

Forventes levert 3. - 14. jul
Legg til iMusic ønskeliste
Eller

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

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  

Vis alle

Mer med Dieter van Melkebeek