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
Christmas presents can be returned until 31 January
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 |
