A Survey of Lower Bounds for Satisfiability and Related Problems
Download or Read eBook A Survey of Lower Bounds for Satisfiability and Related Problems PDF 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.
| Author | : Dieter van Melkebeek |
| Publisher | : Now Publishers Inc |
| Total Pages | : 124 |
| Release | : 2007 |
| ISBN-10 | : 9781601980847 |
| ISBN-13 | : 1601980841 |
| Rating | : 4/5 (47 Downloads) |
Book Synopsis A Survey of Lower Bounds for Satisfiability and Related Problems by : Dieter van Melkebeek
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.
