Tell your friends about this item:
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science Dieter van Melkebeek
Do you have a profile? Log in
Get notified about new Dieter van Melkebeek releases
Our customers say:
Add to your iMusic wish list
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 | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 25, 2007 |
| ISBN13 | 9781601980847 |
| Publishers | now publishers Inc |
| Pages | 128 |
| Dimensions | 156 × 234 × 7 mm · 190 g |
| Language | English |
More by Dieter van Melkebeek
Show all
More from the same publisher
See all of Dieter van Melkebeek ( e.g. Paperback Book )