A Survey of Lower Bounds for Satisfiability and Related Problems
by Dieter Melkebeek Van (9781601980847)

A Survey of Lower Bounds for Satisfiability and Related Problems
 
Dieter Melkebeek Van
Release Date: 01 October 2007
Format: Paperback
Pages: 116
Category: Computer Science
Publisher: Now Publishers,
ISBN: 9781601980847
ISBN-10: 1601980841



NP-completeness arguably forms the most pervasive concept from computer science as it captures the computational complexity of thousands of important problems from all branches of science and engineering. The P versus NP question asks whether these problems can be solved in polynomial time. A negative answer has been widely conjectured for a long time but, until recently, no concrete lower bounds were known on general models of computation. Satisfiability is the problem of deciding whether a given Boolean formula has at least one satisfying assignment. It is the first problem that was shown to be NP-complete, and is possibly the most commonly studied NP-complete problem, both for its theoretical properties and its applications in practice. A Survey of Lower Bounds for Satisfiability and Related Problems 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. A Survey of Lower Bounds for Satisfiability and Related Problems is an invaluable reference for professors and students doing research in complexity theory, or planning to do so.

AUD $118.95

 This title is not held in stock & is ordered from suppliers, subject to availability.


View other Dieter Melkebeek Van titles like "A Survey of Lower Bounds for Satisfiability and Related Problems"



Write a customer review of A Survey of Lower Bounds for Satisfiability and Related Problems.



If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend


Australian BookShop
Australian Bookshop. Established 2003
Search
Shopping Cart Customer Support


HolisticPage
International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide
.
Worldwide