Powiedz znajomym o tym przedmiocie:
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 25 października 2007 |
ISBN13 | 9781601980847 |
Wydawcy | now publishers Inc |
Strony | 128 |
Wymiary | 156 × 234 × 7 mm · 190 g |
Język | English |
Pokaż wszystko
Więcej od Dieter van Melkebeek
Zobacz wszystko od Dieter van Melkebeek ( np. Paperback Book )