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

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

Dieter van Melkebeek

Price
€ 86.99

Ordered from remote warehouse

Expected delivery Jan 20 - 29, 2025

Our customers say:

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

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

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  
Show all

More by Dieter van Melkebeek

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