A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Bøger - now publishers Inc - 9781601980847 - 25. oktober 2007
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Dieter van Melkebeek

Pris
₩ 140.125

Bestilles fra fjernlager

Forventes klar til forsendelse 27. jun. - 4. jul.
Tilføj til din iMusic ønskeseddel

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 25. oktober 2007
ISBN13 9781601980847
Forlag now publishers Inc
Antal sider 128
Mål 156 × 234 × 7 mm   ·   190 g
Sprog Engelsk  

Vis alle

Mere med Dieter van Melkebeek