Bounded Arithmetic (1986)

by Samuel R. Buss
Citations:75 - 2 self

Active Bibliography

3655 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
785 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
2359 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
521 A New Kind of Science – Stephen Wolfram - 2002
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
1216 Factor Graphs and the Sum-Product Algorithm – Frank R. Kschischang, Brendan J. Frey, Hans-Andrea Loeliger - 1998
513 How bad is selfish routing? – Tim Roughgarden, √Čva Tardos - 2002
540 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
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier