Bounded Arithmetic (1986)

by Samuel R. Buss
Citations:82 - 2 self

Active Bibliography

3933 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
830 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
2429 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
593 A New Kind of Science – Stephen Wolfram - 2002
557 How bad is selfish routing? – Tim Roughgarden, Éva Tardos - 2002
561 An Integrated Experimental Environment for Distributed Systems and Networks – Brian White, Jay Lepreau, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, Abhijeet Joglekar - 2002
861 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
704 Decoding by Linear Programming – Emmanuel J. Candès, Terence Tao - 2004
707 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992