Bounded Arithmetic (1986)

by Samuel R. Buss
Citations:68 - 2 self

Active Bibliography

3557 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
777 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
2347 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
501 A New Kind of Science – Stephen Wolfram - 2002
661 Decoding by Linear Programming – Emmanuel J. Candès, Terence Tao - 2004
720 Proof verification and hardness of approximation problems – Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy - 1992
679 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
577 Where the really hard problems are – Peter Cheeseman, Bob Kanefsky, William M. Taylor - 1991
506 How bad is selfish routing? – Tim Roughgarden, Éva Tardos - 2002