
Vertel uw vrienden over dit artikel:
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science
Dieter van Melkebeek
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science
Dieter van Melkebeek
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 25 oktober 2007 |
ISBN13 | 9781601980847 |
Uitgevers | now publishers Inc |
Pagina's | 128 |
Afmetingen | 156 × 234 × 7 mm · 190 g |
Taal en grammatica | Engels |
Alles tonen
Meer door Dieter van Melkebeek
Bekijk alles van Dieter van Melkebeek ( bijv. Paperback Book )