A Survey of Lower Bounds for Satisfiability and Related Problems
| Author | : Dieter van Melkebeek |
| Publisher | : Now Publishers Inc |
| Total Pages | : 124 |
| Release | : 2007 |
| ISBN-10 | : 9781601980847 |
| ISBN-13 | : 1601980841 |
| Rating | : 4/5 (841 Downloads) |
Book Synopsis A Survey of Lower Bounds for Satisfiability and Related Problems by : Dieter van Melkebeek
Download or read book A Survey of Lower Bounds for Satisfiability and Related Problems written by Dieter van Melkebeek and published by Now Publishers Inc. This book was released on 2007 with total page 124 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Top