A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Books - now publishers Inc - 9781601980847 - October 25, 2007
In case cover and title do not match, the title is correct

Dieter van Melkebeek
A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

See all of Dieter van Melkebeek ( e.g. Paperback Book )