5848596
9781601980847
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.Melkebeek Van, Dieter is the author of 'Survey of Lower Bounds for Satisfiability and Related Problems', published 2007 under ISBN 9781601980847 and ISBN 1601980841.
[read more]